| Publication | Date of Publication | Type |
|---|
| On the failings of Shapley values for explainability | 2024-07-24 | Paper |
| Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group | 2024-07-24 | Paper |
| Feature necessity \& relevancy in ML classifier explanations | 2023-12-13 | Paper |
| Certified logic-based explainable AI -- the case of monotonic classifiers | 2023-12-12 | Paper |
| On computing probabilistic abductive explanations | 2023-07-18 | Paper |
| Tractability of explaining classifier decisions | 2023-06-19 | Paper |
| On Tackling Explanation Redundancy in Decision Trees | 2022-10-18 | Paper |
| Assessing progress in SAT solvers through the Lens of incremental SAT | 2022-03-22 | Paper |
| SAT-based rigorous explanations for decision lists | 2022-03-22 | Paper |
| RC2: an efficient MaxSAT solver | 2021-12-09 | Paper |
| Propositional proof systems based on maximum satisfiability | 2021-11-02 | Paper |
| Reasoning about strong inconsistency in ASP | 2021-04-07 | Paper |
| Optimum stable model search: algorithms and implementation | 2020-08-05 | Paper |
| On computing the union of MUSes | 2020-05-20 | Paper |
| Assessing heuristic machine learning explanations with model counting | 2020-05-20 | Paper |
| DRMaxSAT with MaxHS: first contact | 2020-05-20 | Paper |
| Efficient symmetry breaking for SAT-based minimum DFA inference | 2019-12-04 | Paper |
| Formally verifying the solution to the Boolean Pythagorean triples problem | 2019-09-02 | Paper |
| A SAT-based approach to learn explainable decision sets | 2018-10-18 | Paper |
| Computing with SAT oracles: past, present and future | 2018-09-06 | Paper |
| Computing minimally unsatisfiable subformulas: state of the art and future directions | 2018-09-03 | Paper |
| PySAT: a Python toolkit for prototyping with SAT oracles | 2018-08-10 | Paper |
| Propositional SAT solving | 2018-07-20 | Paper |
| GRASP: a search algorithm for propositional satisfiability | 2018-07-09 | Paper |
| Minimal sets on propositional formulae. Problems and reductions | 2017-11-21 | Paper |
| Improving MCS enumeration via caching | 2017-11-15 | Paper |
| On tackling the limits of resolution in SAT solving | 2017-11-15 | Paper |
| Maximal falsifiability. Definitions, algorithms and applications | 2017-11-08 | Paper |
| Algorithms for computing backbones of propositional formulae | 2017-11-07 | Paper |
| MaxSAT-based encodings for Group MaxSAT | 2017-11-07 | Paper |
| Progression in maximum satisfiability | 2017-07-18 | Paper |
| Efficient reasoning for inconsistent Horn formulae | 2016-11-30 | Paper |
| BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies | 2016-09-05 | Paper |
| MCS Extraction with Sublinear Oracle Queries | 2016-09-05 | Paper |
| Fast, flexible MUS enumeration | 2016-04-20 | Paper |
| Quantified maximum satisfiability | 2016-04-20 | Paper |
| Solving QBF with counterexample guided refinement | 2016-03-08 | Paper |
| On the query complexity of selecting minimal sets for monotone predicates | 2016-03-08 | Paper |
| PackUp: tools for package upgradability solving | 2016-02-23 | Paper |
| TG-Pro: A SAT-based ATPG system | 2016-02-23 | Paper |
| Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing | 2015-11-20 | Paper |
| Computing maximal autarkies with few and simple oracle queries | 2015-11-20 | Paper |
| SAT-Based Horn Least Upper Bounds | 2015-11-20 | Paper |
| SAT-Based Formula Simplification | 2015-11-20 | Paper |
| MUSer2: an efficient MUS extractor | 2015-10-20 | Paper |
| Iterative and core-guided maxsat solving: a survey and assessment | 2015-06-15 | Paper |
| Expansion-based QBF solving versus Q-resolution | 2015-04-01 | Paper |
| Enumerating prime implicants of propositional formulae in conjunctive normal form | 2015-01-14 | Paper |
| Algorithms for computing minimal equivalent subformulas | 2014-10-13 | Paper |
| On computing preferred MUSes and MCSes | 2014-09-26 | Paper |
| On reducing maximum independent set to minimum satisfiability | 2014-09-26 | Paper |
| MUS Extraction Using Clausal Proofs | 2014-09-26 | Paper |
| SAT-based preprocessing for MaxSAT | 2014-01-17 | Paper |
| On QBF Proofs and Preprocessing | 2014-01-17 | Paper |
| Maximal falsifiability. Definitions, algorithms, and applications | 2014-01-17 | Paper |
| Interpolant learning and reuse in SAT-based model checking | 2013-12-06 | Paper |
| Solving QBF with counterexample guided refinement | 2013-08-12 | Paper |
| Improvements to core-guided binary search for MaxSAT | 2013-08-12 | Paper |
| On efficient computation of variable MUSes | 2013-08-12 | Paper |
| Parallel MUS extraction | 2013-08-05 | Paper |
| On propositional QBF expansions and Q-resolution | 2013-08-05 | Paper |
| Quantified maximum satisfiability: a core-guided approach | 2013-08-05 | Paper |
| Formula preprocessing in MUS extraction | 2013-08-05 | Paper |
| Anatomy and empirical evaluation of modern SAT solvers | 2013-01-28 | Paper |
| Towards efficient MUS extraction | 2012-10-25 | Paper |
| Knowledge compilation with empowerment | 2012-06-15 | Paper |
| Efficient and accurate haplotype inference by combining parsimony and pedigree information | 2012-06-08 | Paper |
| Boolean lexicographic optimization: algorithms \& applications | 2012-05-23 | Paper |
| Restoring CSP satisfiability with MaxSAT | 2011-11-22 | Paper |
| Haplotype inference with pseudo-Boolean optimization | 2011-06-22 | Paper |
| Abstraction-based algorithm for 2QBF | 2011-06-17 | Paper |
| Minimally unsatisfiable Boolean circuits | 2011-06-17 | Paper |
| On improving MUS extraction algorithms | 2011-06-17 | Paper |
| Empirical study of the anatomy of modern SAT solvers | 2011-06-17 | Paper |
| Combinatorial optimization solutions for the maximum quartet consistency problem | 2011-06-10 | Paper |
| On computing backbones of propositional theories | 2011-05-11 | Paper |
| Counterexample guided abstraction refinement algorithm for propositional circumscription | 2010-10-01 | Paper |
| Boolean satisfiability and EDA applications | 2010-07-09 | Paper |
| A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas | 2009-11-16 | Paper |
| Progress in Artificial Intelligence | 2009-08-07 | Paper |
| Algorithms for Weighted Boolean Optimization | 2009-07-07 | Paper |
| Symmetry Breaking for Maximum Satisfiability | 2009-01-27 | Paper |
| Model checking with Boolean Satisfiability | 2008-09-29 | Paper |
| Towards Robust CNF Encodings of Cardinality Constraints | 2008-09-02 | Paper |
| Boosting haplotype inference with local search | 2008-09-02 | Paper |
| Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms | 2008-05-27 | Paper |
| Improvements to Hybrid Incremental SAT Algorithms | 2008-05-27 | Paper |
| Efficient Haplotype Inference with Pseudo-boolean Optimization | 2007-11-29 | Paper |
| Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel | 2007-09-04 | Paper |
| Counting Models in Integer Domains | 2007-09-04 | Paper |
| Random backtracking in backtrack search algorithms for satisfiability | 2007-08-23 | Paper |
| On using cutting planes in pseudo-Boolean optimization | 2007-03-30 | Paper |
| Heuristic-based backtracking relaxation for propositional satisfiability | 2007-01-24 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-15 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-15 | Paper |
| Efficient data structures for backtrack search SAT solvers | 2005-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475702 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736486 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473048 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473057 | 2004-08-04 | Paper |
| Satisfiability-based algorithms for Boolean optimization | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4424861 | 2003-09-07 | Paper |
| An overview of backtrack search satisfiability algorithms | 2003-03-10 | Paper |
| Stochastic systematic search algorithms for satisfiability | 2001-09-24 | Paper |
