Heribert Vollmer
5 publications
2 venues
H Index 4
Affiliation
Universit t Hannover, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
LoCo - A Logic for Configuration Problems.
|
ECAI | 2012 | 6 |
| Parameterized Complexity of Weighted Satisfiability Problems.
|
SAT | 2012 | 1 |
| Proof Complexity of Propositional Default Logic.
|
SAT | 2010 | 6 |
| The Complexity of Reasoning for Fragments of Default Logic.
|
SAT | 2009 | 17 |
| An Algebraic Approach to the Complexity of Generalized Conjunctive Queries.
|
SAT | 2004 | 16 |