| Publication | Date of Publication | Type |
|---|
| Applying Visible Strong Equivalence in Answer-Set Program Transformations | 2022-02-24 | Paper |
| Hyper tableaux | 2019-10-08 | Paper |
| A tableau calculus for minimal model reasoning | 2019-01-10 | Paper |
| Unfolding partiality and disjunctions in stable model semantics | 2017-07-12 | Paper |
| Cumulativity Tailored for Nonmonotonic Reasoning | 2015-02-04 | Paper |
| Simulating Parity Reasoning | 2014-01-17 | Paper |
| BMC via on-the-fly determinization | 2013-08-30 | Paper |
| Conflict-Driven XOR-Clause Learning | 2013-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906890 | 2013-02-28 | Paper |
| SMT-Based Induction Methods for Timed Systems | 2012-11-21 | Paper |
| Applying Visible Strong Equivalence in Answer-Set Program Transformations | 2012-07-23 | Paper |
| Solving parity games by a reduction to SAT | 2012-05-11 | Paper |
| Partitioning Search Spaces of a Randomized Search | 2011-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3089145 | 2011-08-24 | Paper |
| Strong Equivalence of Logic Programs with Abstract Constraint Atoms | 2011-05-26 | Paper |
| Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses | 2011-05-19 | Paper |
| On Testing Answer-Set Programs | 2011-05-11 | Paper |
| Extending Clause Learning DPLL with Parity Reasoning | 2011-05-11 | Paper |
| Partitioning SAT Instances for Distributed Solving | 2010-10-12 | Paper |
| A Module-Based Framework for Multi-language Constraint Modeling | 2009-11-10 | Paper |
| Computing Stable Models via Reductions to Difference Logic | 2009-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3639755 | 2009-10-26 | Paper |
| Stable models and difference logic | 2009-07-06 | Paper |
| Justification-Based Local Search with Adaptive Noise Strategies | 2009-01-27 | Paper |
| Strategies for Solving SAT in Grids by Randomized Search | 2009-01-27 | Paper |
| Answer Set Programming without Unstratified Negation | 2009-01-22 | Paper |
| Incorporating Learning in Grid-Based Randomized SAT Solving | 2008-11-04 | Paper |
| Answer Set Programming: A Declarative Approach to Solving Search Problems | 2008-10-30 | Paper |
| The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study | 2008-09-29 | Paper |
| Logic programs with monotone abstract constraint atoms | 2008-03-27 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Planning as satisfiability: parallel plans and algorithms for plan search | 2007-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3429155 | 2007-03-30 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Unrestricted vs restricted cut in a tableau method for Boolean circuits | 2006-01-23 | Paper |
| Bounded LTL model checking with stable models | 2004-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708938 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4800171 | 2003-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798010 | 2003-03-18 | Paper |
| Nonmonotonic reasoning: Towards efficient calculi and implementations | 2002-08-29 | Paper |
| Extending and implementing the stable model semantics | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767086 | 2002-01-28 | Paper |
| Extending the Smodels system with cardinality and weight constraints | 2001-08-30 | Paper |
| On the equivalence of the static and disjunctive well-founded semantics and its computation | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395146 | 2000-11-20 | Paper |
| Logic programs with stable model semantics as a constraint programming paradigm | 2000-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955344 | 2000-05-25 | Paper |
| A decision method for nonmonotonic reasoning based on autoepistemic reasoning | 1995-05-30 | Paper |
| On the impact of stratification on the complexity of nonmonotonic reasoning | 1994-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282608 | 1994-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287511 | 1994-04-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4278739 | 1994-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4022226 | 1993-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012233 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5749280 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3807179 | 1988-01-01 | Paper |
