| Publication | Date of Publication | Type |
|---|
| New core-guided and hitting set algorithms for multi-objective combinatorial optimization | 2024-04-05 | Paper |
| ModRev -- model revision tool for Boolean logical models of biological regulatory networks | 2022-12-22 | Paper |
| Minimal perturbation in university timetabling with maximum satisfiability | 2022-12-21 | Paper |
| Stable states of Boolean regulatory networks composed over hexagonal grids | 2022-04-25 | Paper |
| On using incremental encodings in unsatisfiability-based MaxSAT solving | 2021-12-09 | Paper |
| Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT | 2018-09-03 | Paper |
| Introducing Pareto minimal correction subsets | 2017-11-15 | Paper |
| Algorithms for computing backbones of propositional formulae | 2017-11-07 | Paper |
| Progression in maximum satisfiability | 2017-07-18 | Paper |
| Inferring phylogenetic trees using pseudo-Boolean optimization | 2016-06-10 | Paper |
| PackUp: tools for package upgradability solving | 2016-02-23 | Paper |
| Exploiting resolution-based representations for MaxSAT solving | 2015-11-20 | Paper |
| An overview of parallel SAT solving | 2015-01-22 | Paper |
| Algorithms for computing minimal equivalent subformulas | 2014-10-13 | Paper |
| Open-WBO: a modular MaxSAT solver | 2014-09-26 | Paper |
| Community-Based Partitioning for MaxSAT Solving | 2013-08-05 | Paper |
| Satisfiability: where Theory meets Practice (Invited Talk). | 2012-11-22 | Paper |
| Towards efficient MUS extraction | 2012-10-25 | 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 |
| On improving MUS extraction algorithms | 2011-06-17 | Paper |
| On computing backbones of propositional theories | 2011-05-11 | Paper |
| The seventh QBF solvers evaluation (QBFEVAL'10) | 2010-09-29 | Paper |
| Improving Unsatisfiability-Based Algorithms for Boolean Optimization | 2010-09-29 | Paper |
| A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas | 2009-11-16 | Paper |
| Progress in Artificial Intelligence | 2009-08-07 | Paper |
| Sequential Encodings from Max-CSP into Partial Max-SAT | 2009-07-07 | Paper |
| Symmetry Breaking for Maximum Satisfiability | 2009-01-27 | Paper |
| Towards Robust CNF Encodings of Cardinality Constraints | 2008-09-02 | Paper |
| Boosting haplotype inference with local search | 2008-09-02 | Paper |
| Modelling Max-CSP as Partial Max-SAT | 2008-05-27 | Paper |
| Search in the patience game `Black Hole' | 2008-01-14 | 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 |
| Local Search for Unsatisfiability | 2007-09-04 | Paper |
| Random backtracking in backtrack search algorithms for satisfiability | 2007-08-23 | Paper |
| Heuristic-based backtracking relaxation for propositional satisfiability | 2007-01-24 | 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/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 |
