| Publication | Date of Publication | Type |
|---|
| Hidden community detection on two-layer stochastic models: a theoretical perspective | 2022-12-22 | Paper |
| Generating hard satisfiability problems | 2022-09-22 | Paper |
| Critical behavior in the computational cost of satisfiability testing | 2022-09-22 | Paper |
| Support set selection for abductive and default reasoning | 2022-09-22 | Paper |
| DPLL: The Core of Modern Satisfiability Solvers | 2020-08-06 | Paper |
| Determining computational complexity from characteristic ‘phase transitions’ | 2017-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5740444 | 2016-07-26 | Paper |
| On the Erdős Discrepancy Problem | 2015-07-21 | Paper |
| Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability | 2013-08-05 | Paper |
| Critical Behavior in the Satisfiability of Random Boolean Expressions | 2011-11-28 | Paper |
| Leveraging belief propagation, backtrack search, and statistics for model counting | 2011-06-22 | Paper |
| An Empirical Study of Optimal Noise and Runtime Distributions in Local Search | 2010-09-29 | Paper |
| Principles and Practice of Constraint Programming – CP 2003 | 2010-03-02 | Paper |
| Short XORs for Model Counting: From Theory to Practice | 2009-03-10 | Paper |
| Principles and Practice of Constraint Programming – CP 2004 | 2008-09-09 | Paper |
| Principles and Practice of Constraint Programming – CP 2004 | 2008-09-09 | Paper |
| Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting | 2008-05-27 | Paper |
| Sensor networks and distributed CSP: communication, computation and complexity | 2007-10-23 | Paper |
| Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning | 2007-10-11 | Paper |
| QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency | 2007-09-04 | Paper |
| The state of SAT | 2007-08-23 | Paper |
| Regular random \(k\)-SAT: Properties of balanced formulas | 2007-01-24 | Paper |
| Statistical regimes across constrainedness regions | 2006-11-03 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-16 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475647 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473032 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460805 | 2004-03-29 | Paper |
| Horn approximations of empirical data | 2003-02-04 | Paper |
| Compute-intensive methods in artificial intelligence | 2002-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2749853 | 2001-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2741510 | 2001-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2741540 | 2001-09-24 | Paper |
| Heavy-tailed phenomena in satisfiability and constraint satisfaction problems | 2001-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2734936 | 2001-08-30 | Paper |
| Algorithm portfolios | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4704799 | 1999-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375773 | 1998-03-02 | Paper |
| Knowledge compilation and theory approximation | 1998-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5687271 | 1997-06-09 | Paper |
| The complexity of path-based defeasible inheritance | 1994-01-19 | Paper |
| Hard problems for simple default logics | 1992-06-28 | Paper |
| Model-preference default theories | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3200595 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3493327 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3830558 | 1989-01-01 | Paper |
| A special-purpose processor for the Monte Carlo simulation of Ising spin systems | 1983-01-01 | Paper |
