| Publication | Date of Publication | Type |
|---|
SAT, gadgets, Max2XOR, and quantum annealers
Quantum Information Processing | 2025-11-25 | Paper |
| Optilog V2: model, solve, tune and run | 2024-07-12 | Paper |
Boosting evolutionary algorithm configuration
Annals of Mathematics and Artificial Intelligence | 2022-08-11 | Paper |
| OptiLog: a framework for SAT-based systems | 2022-03-22 | Paper |
| PyDGGA: distributed GGA for automatic configuration | 2022-03-22 | Paper |
Community structure in industrial SAT instances
Journal of Artificial Intelligence Research | 2019-10-11 | Paper |
| SAT and SMT technology for many-valued logics | 2018-09-03 | Paper |
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
Fuzzy Sets and Systems | 2018-02-19 | Paper |
WPM3: an (in)complete algorithm for weighted partial MaxSAT
Artificial Intelligence | 2017-11-16 | Paper |
| Scale-Free Random SAT Instances | 2017-07-12 | Paper |
Exploiting subproblem optimization in SAT-based maxsat algorithms
Journal of Heuristics | 2017-04-28 | Paper |
Scale-Free Random SAT Instances
(available as arXiv preprint) | 2017-01-01 | Paper |
MaxSAT by improved instance-specific algorithm configuration
Artificial Intelligence | 2016-04-22 | Paper |
Using Community Structure to Detect Relevant Learnt Clauses
Lecture Notes in Computer Science | 2015-11-20 | Paper |
On the hardness of solving edge matching puzzles as SAT or CSP problems
Constraints | 2015-04-29 | Paper |
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
Constraints | 2015-01-22 | 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 |
Solving (Weighted) Partial MaxSAT through Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-07 | Paper |
Mapping CSP into Many-Valued SAT
Theory and Applications of Satisfiability Testing – SAT 2007 | 2009-03-10 | Paper |
Boosting Open CSPs
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers
Annals of Mathematics and Artificial Intelligence | 2007-10-12 | Paper |
QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency
Lecture Notes in Computer Science | 2007-09-04 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-16 | Paper |
