Heribert Vollmer
6 publications
3 venues
H Index 4
Affiliation
Leibniz University of Hannover, Institute for Theoretical Computer Science, GermanyLinks
DBLPGoogle Scholar
ORCID- https://www.thi.uni-hannover.de/en/vollmer/
- https://dl.acm.org/profile/81100543684
- https://zbmath.org/authors/?q=ai:vollmer.heribert
- https://www.wikidata.org/entity/Q21033155
- https://id.loc.gov/authorities/names/n99037482
- https://d-nb.info/gnd/121026027
- https://www.wikidata.org/entity/Q130828949
| Name | Venue | Year | citations |
|---|---|---|---|
Graph Neural Networks and Arithmetic Circuits.
|
NIPS/NeurIPS | 2024 | 5 |
| LoCo - A Logic for Configuration Problems.
|
ECAI | 2012 | 7 |
| Parameterized Complexity of Weighted Satisfiability Problems.
|
SAT | 2012 | 0 |
| Proof Complexity of Propositional Default Logic.
|
SAT | 2010 | 10 |
| The Complexity of Reasoning for Fragments of Default Logic.
|
SAT | 2009 | 0 |
| An Algebraic Approach to the Complexity of Generalized Conjunctive Queries.
|
SAT | 2004 | 17 |