Name Venue Year citations
Graph Neural Networks and Arithmetic Circuits. NIPS/NeurIPS 2024 0
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 8
The Complexity of Reasoning for Fragments of Default Logic. SAT 2009 0
An Algebraic Approach to the Complexity of Generalized Conjunctive Queries. SAT 2004 16
Copyright ©2019 Universität Würzburg

Impressum | Privacy | FAQ