| Publication | Date of Publication | Type |
|---|
| MaxSAT resolution for regular propositional logic | 2023-11-16 | Paper |
| Boosting branch-and-bound MaxSAT solvers with clause learning | 2022-09-16 | Paper |
| Clause tableaux for maximum and minimum satisfiability | 2021-12-22 | Paper |
| A resolution calculus for MinSAT | 2021-12-22 | Paper |
| Solving longest common subsequence problems via a transformation to the maximum clique problem | 2021-04-20 | Paper |
| Solving the Team Composition Problem in a Classroom | 2020-11-16 | Paper |
| A tableau calculus for non-clausal maximum satisfiability | 2020-05-14 | Paper |
| Clause vivification by unit propagation in CDCL SAT solvers | 2020-01-20 | Paper |
| New complexity results for Łukasiewicz logic | 2019-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583677 | 2018-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583798 | 2018-09-03 | Paper |
| On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem | 2018-07-11 | Paper |
| A new upper bound for the maximum weight clique problem | 2018-05-31 | Paper |
| Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers | 2018-02-19 | Paper |
| The Complexity of 3-Valued Łukasiewicz Rules | 2017-06-20 | Paper |
| Resolution procedures for multiple-valued optimization | 2014-08-01 | Paper |
| Exact Algorithms for MAX-SAT | 2013-04-19 | Paper |
| Optimizing with minimum satisfiability | 2012-11-15 | Paper |
| Resolution-based lower bounds in MaxSAT | 2010-11-19 | Paper |
| Exact MinSAT Solving | 2010-09-29 | Paper |
| Resolution for Max-SAT | 2009-07-09 | Paper |
| Sequential Encodings from Max-CSP into Partial Max-SAT | 2009-07-07 | Paper |
| Exploiting Cycle Structures in Max-SAT | 2009-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624095 | 2009-04-28 | Paper |
| Mapping CSP into Many-Valued SAT | 2009-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3604010 | 2009-02-24 | Paper |
| Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers | 2008-09-09 | Paper |
| An efficient solver for weighted Max-SAT | 2008-07-25 | Paper |
| Modelling Max-CSP as Partial Max-SAT | 2008-05-27 | Paper |
| A Preprocessor for Max-SAT Solvers | 2008-05-27 | Paper |
| Exploiting multivalued knowledge in variable selection heuristics for SAT solvers | 2007-10-12 | Paper |
| A Complete Calculus for Max-SAT | 2007-09-04 | Paper |
| Regular-SAT: A many-valued approach to solving combinatorial problems | 2007-08-23 | Paper |
| Exact Max-SAT solvers for over-constrained problems | 2006-09-28 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-16 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-15 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475627 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438827 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4542611 | 2002-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2741541 | 2001-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2701980 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938415 | 2000-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4262997 | 1999-09-22 | Paper |
