| Publication | Date of Publication | Type |
|---|
| Polynomial calculus for optimization | 2025-01-17 | Paper |
| Polynomial calculus for MaxSAT | 2024-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6147250 | 2024-01-15 | Paper |
| The impact of heterogeneity and geometry on the proof complexity of random satisfiability | 2023-11-07 | Paper |
| Linear second-order unification | 2022-12-09 | Paper |
| Bi-rewriting, a term rewriting technique for monotonic order relations | 2022-12-09 | Paper |
| Nominal Unification and Matching of Higher Order Expressions with Recursive Let | 2022-05-16 | Paper |
| Popularity-similarity random SAT formulas | 2021-11-02 | Paper |
| Term-Graph Anti-Unification | 2021-06-15 | Paper |
| Equivalence between systems stronger than resolution | 2021-04-07 | Paper |
| Community Structure in Industrial SAT Instances | 2019-10-11 | Paper |
| Nominal unification of higher order expressions with recursive let | 2017-10-13 | Paper |
| Nominal Anti-Unification | 2017-07-12 | Paper |
| Scale-Free Random SAT Instances | 2017-07-12 | Paper |
| Higher-order pattern anti-unification in linear time | 2017-07-06 | Paper |
| Exploiting subproblem optimization in SAT-based maxsat algorithms | 2017-04-28 | Paper |
| A Variant of Higher-Order Anti-Unification | 2017-02-01 | Paper |
| Generating SAT instances with community structure | 2016-09-07 | Paper |
| Using Community Structure to Detect Relevant Learnt Clauses | 2015-11-20 | Paper |
| Nominal Unification from a Higher-Order Perspective | 2015-09-17 | Paper |
| Anti-unification for unranked terms and hedges | 2015-07-02 | Paper |
| The Fractal Dimension of SAT Formulas | 2014-09-26 | Paper |
| Resolution procedures for multiple-valued optimization | 2014-08-01 | Paper |
| SAT-based MaxSAT algorithms | 2013-08-23 | Paper |
| The Community Structure of SAT Formulas | 2013-08-12 | Paper |
| On the complexity of bounded second-order unification and stratified context unification | 2012-06-08 | Paper |
| An Efficient Nominal Unification Algorithm | 2012-04-25 | Paper |
| Anti-Unification for Unranked Terms and Hedges | 2012-04-24 | Paper |
| Simplifying the signature in second-order unification | 2010-01-18 | Paper |
| On the relation between context and sequence unification | 2009-11-06 | Paper |
| Resolution for Max-SAT | 2009-07-09 | Paper |
| Solving (Weighted) Partial MaxSAT through Satisfiability Testing | 2009-07-07 | Paper |
| The Complexity of Monadic Second-Order Unification | 2009-06-22 | Paper |
| Rewriting Techniques and Applications | 2009-04-30 | Paper |
| Stratified Context Unification Is NP-Complete | 2009-03-12 | Paper |
| Mapping CSP into Many-Valued SAT | 2009-03-10 | Paper |
| Bounded Second-Order Unification Is NP-Complete | 2008-09-25 | Paper |
| Nominal Unification from a Higher-Order Perspective | 2008-08-28 | Paper |
| Sequence Unification Through Currying | 2008-01-02 | Paper |
| A Complete Calculus for Max-SAT | 2007-09-04 | Paper |
| Automated Deduction – CADE-20 | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808756 | 2004-08-12 | Paper |
| On the undecidability of second-order unification | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778877 | 2002-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723898 | 2001-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942094 | 2000-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838759 | 1998-08-13 | Paper |
| Bi-rewrite systems | 1997-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4314595 | 1994-11-23 | Paper |
