Anselm Haak

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 16

Top Topics

Default Reasoning

Top Venues

Ann. Pure Appl. Log.

J. Comput. Syst. Sci.

Publications

Alexander Leonhardt, Holger Dell, Anselm Haak, Frank Kammer, Johannes Meintrup, Ulrich Meyer, Manuel Penschuck
PACE Solver Description: Exact (GUTHMI) and Heuristic (GUTHM). IPEC (2023)
Anselm Haak, Arne Meier, Om Prakash, B. V. Raghavendra Rao
Parameterised Counting in Logspace. Algorithmica 85 (10) (2023)
Anselm Haak, Arne Meier, Fabian Müller, Heribert Vollmer
Enumerating teams in first-order team logics. Ann. Pure Appl. Log. 173 (10) (2022)
Anselm Haak, Arne Meier, Om Prakash, B. V. Raghavendra Rao
Parameterised Counting in Logspace. STACS (2021)
Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer
Descriptive complexity of #P functions: A new perspective. J. Comput. Syst. Sci. 116 (2021)
Anselm Haak, Arne Meier, Fabian Müller, Heribert Vollmer
Enumerating Teams in First-Order Team Logics. CoRR (2020)
Anselm Haak, Heribert Vollmer
A model-theoretic characterization of constant-depth arithmetic circuits. Ann. Pure Appl. Log. 170 (9) (2019)
Anselm Haak, Arne Meier, Om Prakash, B. V. Raghavendra Rao
Parameterised Counting Classes with Bounded Nondeterminism. CoRR (2019)
Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang
Counting of Teams in First-Order Team Logics. CoRR (2019)
Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang
Counting of Teams in First-Order Team Logics. MFCS (2019)
Arnaud Durand, Anselm Haak, Heribert Vollmer
Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth. LICS (2018)
Arnaud Durand, Anselm Haak, Heribert Vollmer
Model-Theoretic Characterizations of Boolean and Arithmetic Circuit Classes of Small Depth. CoRR (2017)
Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer
Functions. CoRR (2016)
Anselm Haak, Heribert Vollmer
A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits. CoRR (2016)
Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer
Functions. CSL (2016)
Anselm Haak, Heribert Vollmer
A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits. WoLLIC (2016)