| Publication | Date of Publication | Type |
|---|
Polynomial calculus for optimization
Artificial Intelligence | 2025-01-17 | Paper |
| Polynomial calculus for MaxSAT | 2024-11-26 | Paper |
| scientific article; zbMATH DE number 7788342 (Why is no real title available?) | 2024-01-15 | Paper |
The impact of heterogeneity and geometry on the proof complexity of random satisfiability
Random Structures & Algorithms | 2023-11-07 | Paper |
Linear second-order unification
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Bi-rewriting, a term rewriting technique for monotonic order relations
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Fundamenta Informaticae | 2022-05-16 | Paper |
Popularity-similarity random SAT formulas
Artificial Intelligence | 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
Journal of Artificial Intelligence Research | 2019-10-11 | Paper |
Nominal unification of higher order expressions with recursive let
(available as arXiv preprint) | 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
Journal of Automated Reasoning | 2017-07-06 | Paper |
Exploiting subproblem optimization in SAT-based maxsat algorithms
Journal of Heuristics | 2017-04-28 | Paper |
| A variant of higher-order anti-unification | 2017-02-01 | Paper |
Generating SAT instances with community structure
Artificial Intelligence | 2016-09-07 | Paper |
Using Community Structure to Detect Relevant Learnt Clauses
Lecture Notes in Computer Science | 2015-11-20 | Paper |
Nominal unification from a higher-order perspective
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Anti-unification for unranked terms and hedges
Journal of Automated Reasoning | 2015-07-02 | Paper |
The fractal dimension of SAT formulas
Automated Reasoning | 2014-09-26 | Paper |
The fractal dimension of SAT formulas
Automated Reasoning | 2014-09-26 | Paper |
Resolution procedures for multiple-valued optimization
Information Sciences | 2014-08-01 | Paper |
SAT-based MaxSAT algorithms
Artificial Intelligence | 2013-08-23 | Paper |
The community structure of SAT formulas
Theory and Applications of Satisfiability Testing – SAT 2012 | 2013-08-12 | Paper |
On the complexity of bounded second-order unification and stratified context unification
Logic Journal of the IGPL | 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
Applicable Algebra in Engineering, Communication and Computing | 2010-01-18 | Paper |
On the relation between context and sequence unification
Journal of Symbolic Computation | 2009-11-06 | Paper |
Resolution for Max-SAT
Artificial Intelligence | 2009-07-09 | Paper |
Solving (Weighted) Partial MaxSAT through Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-07 | Paper |
The Complexity of Monadic Second-Order Unification
SIAM Journal on Computing | 2009-06-22 | Paper |
Rewriting Techniques and Applications
Lecture Notes in Computer Science | 2009-04-30 | Paper |
Stratified Context Unification Is NP-Complete
Automated Reasoning | 2009-03-12 | Paper |
Mapping CSP into Many-Valued SAT
Theory and Applications of Satisfiability Testing – SAT 2007 | 2009-03-10 | Paper |
Bounded Second-Order Unification Is NP-Complete
Lecture Notes in Computer Science | 2008-09-25 | Paper |
Nominal unification from a higher-order perspective
Lecture Notes in Computer Science | 2008-08-28 | Paper |
Sequence Unification Through Currying
Lecture Notes in Computer Science | 2008-01-02 | Paper |
A Complete Calculus for Max-SAT
Lecture Notes in Computer Science | 2007-09-04 | Paper |
Automated Deduction – CADE-20
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 2090082 (Why is no real title available?) | 2004-08-12 | Paper |
On the undecidability of second-order unification
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1722705 (Why is no real title available?) | 2002-03-21 | Paper |
| scientific article; zbMATH DE number 1615236 (Why is no real title available?) | 2001-07-08 | Paper |
| scientific article; zbMATH DE number 1418812 (Why is no real title available?) | 2000-03-30 | Paper |
| scientific article; zbMATH DE number 1189058 (Why is no real title available?) | 1998-08-13 | Paper |
Bi-rewrite systems
Journal of Symbolic Computation | 1997-06-23 | Paper |
| scientific article; zbMATH DE number 695093 (Why is no real title available?) | 1994-11-23 | Paper |
