Author of the publication

PACE Solver Description: Exact (GUTHMI) and Heuristic (GUTHM).

, , , , , , and . IPEC, volume 285 of LIPIcs, page 37:1-37:7. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model-Theoretic Characterizations of Boolean and Arithmetic Circuit Classes of Small Depth, , and . CoRR, (2017)Enumerating teams in first-order team logics., , , and . Ann. Pure Appl. Log., 173 (10): 103163 (2022)Parameterised Counting in Logspace., , , and . Algorithmica, 85 (10): 2923-2961 (October 2023)Descriptive complexity of circuit-based counting classes. University of Hanover, Germany, (2021)base-search.net (ftunivhannover:oai:www.repo.uni-hannover.de:123456789/11440).PACE Solver Description: Exact (GUTHMI) and Heuristic (GUTHM)., , , , , , and . IPEC, volume 285 of LIPIcs, page 37:1-37:7. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth., , and . LICS, page 354-363. ACM, (2018)Descriptive Complexity of $\#AC^0$ Functions, , , and . (2016)cite arxiv:1604.06617.Counting of Teams in First-Order Team Logics., , , , and . MFCS, volume 138 of LIPIcs, page 19:1-19:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Parameterised Counting Classes with Bounded Nondeterminism., , , and . CoRR, (2019)Parameterised Counting in Logspace., , , and . STACS, volume 187 of LIPIcs, page 40:1-40:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)