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
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ