| Publication | Date of Publication | Type |
|---|
Integrating multi-armed bandit with local search for MaxSAT
Artificial Intelligence | 2025-01-17 | Paper |
| The MaxSAT problem in the real-valued MV-algebra | 2024-05-17 | Paper |
MaxSAT resolution for regular propositional logic
International Journal of Approximate Reasoning | 2023-11-16 | Paper |
Boosting branch-and-bound MaxSAT solvers with clause learning
AI Communications | 2022-09-16 | Paper |
Clause tableaux for maximum and minimum satisfiability
Logic Journal of the IGPL | 2021-12-22 | Paper |
A resolution calculus for MinSAT
Logic Journal of the IGPL | 2021-12-22 | Paper |
Solving longest common subsequence problems via a transformation to the maximum clique problem
Computers & Operations Research | 2021-04-20 | Paper |
Solving the Team Composition Problem in a Classroom
Fundamenta Informaticae | 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
Artificial Intelligence | 2020-01-20 | Paper |
New complexity results for Łukasiewicz logic
Soft Computing | 2019-08-12 | Paper |
| SAT and SMT technology for many-valued logics | 2018-09-03 | Paper |
| Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT | 2018-09-03 | Paper |
On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem
Computers & Operations Research | 2018-07-11 | Paper |
A new upper bound for the maximum weight clique problem
European Journal of Operational Research | 2018-05-31 | Paper |
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
Fuzzy Sets and Systems | 2018-02-19 | Paper |
The complexity of 3-valued Łukasiewicz rules
Modeling Decisions for Artificial Intelligence | 2017-06-20 | Paper |
Resolution procedures for multiple-valued optimization
Information Sciences | 2014-08-01 | Paper |
Exact algorithms for MAX-SAT
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Optimizing with minimum satisfiability
Artificial Intelligence | 2012-11-15 | Paper |
Resolution-based lower bounds in MaxSAT
Constraints | 2010-11-19 | Paper |
Exact MinSAT Solving
Theory and Applications of Satisfiability Testing – SAT 2010 | 2010-09-29 | Paper |
Resolution for Max-SAT
Artificial Intelligence | 2009-07-09 | Paper |
Exploiting Cycle Structures in Max-SAT
Lecture Notes in Computer Science | 2009-07-07 | Paper |
Sequential Encodings from Max-CSP into Partial Max-SAT
Lecture Notes in Computer Science | 2009-07-07 | Paper |
New inference rules for Max-SAT
(available as arXiv preprint) | 2009-04-28 | Paper |
Mapping CSP into Many-Valued SAT
Theory and Applications of Satisfiability Testing – SAT 2007 | 2009-03-10 | Paper |
| The first and second Max-SAT evaluations | 2009-02-24 | Paper |
Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
An efficient solver for weighted Max-SAT
Journal of Global Optimization | 2008-07-25 | Paper |
Modelling Max-CSP as Partial Max-SAT
Theory and Applications of Satisfiability Testing – SAT 2008 | 2008-05-27 | Paper |
A Preprocessor for Max-SAT Solvers
Theory and Applications of Satisfiability Testing – SAT 2008 | 2008-05-27 | Paper |
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers
Annals of Mathematics and Artificial Intelligence | 2007-10-12 | Paper |
A Complete Calculus for Max-SAT
Lecture Notes in Computer Science | 2007-09-04 | Paper |
Regular-SAT: A many-valued approach to solving combinatorial problems
Discrete Applied Mathematics | 2007-08-23 | Paper |
Exact Max-SAT solvers for over-constrained problems
Journal of Heuristics | 2006-09-28 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-16 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-15 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-15 | Paper |
| scientific article; zbMATH DE number 2084702 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2016108 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 1775484 (Why is no real title available?) | 2002-08-04 | Paper |
| Extending the reach of SAT with many-valued logics | 2001-09-24 | Paper |
| The SAT problem of signed CNF formulas | 2001-07-05 | Paper |
| scientific article; zbMATH DE number 1405442 (Why is no real title available?) | 2000-09-26 | Paper |
| scientific article; zbMATH DE number 1341458 (Why is no real title available?) | 1999-09-22 | Paper |
