| Publication | Date of Publication | Type |
|---|
Unsatisfiability-based algorithms for multi-objective combinatorial optimization
Journal of Automated Reasoning | 2026-03-31 | Paper |
| New core-guided and hitting set algorithms for multi-objective combinatorial optimization | 2024-04-05 | Paper |
| ModRev -- model revision tool for Boolean logical models of biological regulatory networks | 2022-12-22 | Paper |
| Minimal perturbation in university timetabling with maximum satisfiability | 2022-12-21 | Paper |
| Stable states of Boolean regulatory networks composed over hexagonal grids | 2022-04-25 | Paper |
On using incremental encodings in unsatisfiability-based MaxSAT solving
Journal on Satisfiability, Boolean Modeling and Computation | 2021-12-09 | Paper |
| Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT | 2018-09-03 | Paper |
| Introducing Pareto minimal correction subsets | 2017-11-15 | Paper |
Algorithms for computing backbones of propositional formulae
AI Communications | 2017-11-07 | Paper |
| Progression in maximum satisfiability | 2017-07-18 | Paper |
Inferring phylogenetic trees using pseudo-Boolean optimization
AI Communications | 2016-06-10 | Paper |
PackUp: tools for package upgradability solving
Journal of Satisfiability, Boolean Modeling and Computation | 2016-02-23 | Paper |
Exploiting resolution-based representations for MaxSAT solving
Lecture Notes in Computer Science | 2015-11-20 | Paper |
An overview of parallel SAT solving
Constraints | 2015-01-22 | Paper |
Algorithms for computing minimal equivalent subformulas
Artificial Intelligence | 2014-10-13 | Paper |
Open-WBO: a modular MaxSAT solver
Lecture Notes in Computer Science | 2014-09-26 | Paper |
Community-Based Partitioning for MaxSAT Solving
Theory and Applications of Satisfiability Testing – SAT 2013 | 2013-08-05 | Paper |
| Satisfiability: where Theory meets Practice (Invited Talk). | 2012-11-22 | Paper |
Towards efficient MUS extraction
AI Communications | 2012-10-25 | Paper |
Efficient and accurate haplotype inference by combining parsimony and pedigree information
Algebraic and Numeric Biology | 2012-06-08 | Paper |
Boolean lexicographic optimization: algorithms \& applications
Annals of Mathematics and Artificial Intelligence | 2012-05-23 | Paper |
Restoring CSP satisfiability with MaxSAT
Fundamenta Informaticae | 2011-11-22 | Paper |
Haplotype inference with pseudo-Boolean optimization
Annals of Operations Research | 2011-06-22 | Paper |
On improving MUS extraction algorithms
Theory and Applications of Satisfiability Testing - SAT 2011 | 2011-06-17 | Paper |
| On computing backbones of propositional theories | 2011-05-11 | Paper |
The seventh QBF solvers evaluation (QBFEVAL'10)
Theory and Applications of Satisfiability Testing – SAT 2010 | 2010-09-29 | Paper |
Improving Unsatisfiability-Based Algorithms for Boolean Optimization
Theory and Applications of Satisfiability Testing – SAT 2010 | 2010-09-29 | Paper |
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
Constraints | 2009-11-16 | Paper |
Progress in Artificial Intelligence
Lecture Notes in Computer Science | 2009-08-07 | Paper |
Sequential Encodings from Max-CSP into Partial Max-SAT
Lecture Notes in Computer Science | 2009-07-07 | Paper |
Symmetry Breaking for Maximum Satisfiability
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Towards Robust CNF Encodings of Cardinality Constraints
Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
Boosting haplotype inference with local search
Constraints | 2008-09-02 | Paper |
Modelling Max-CSP as Partial Max-SAT
Theory and Applications of Satisfiability Testing – SAT 2008 | 2008-05-27 | Paper |
| Search in the patience game `Black Hole' | 2008-01-14 | Paper |
Efficient Haplotype Inference with Pseudo-boolean Optimization
Algebraic Biology | 2007-11-29 | Paper |
Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel
Lecture Notes in Computer Science | 2007-09-04 | Paper |
Local Search for Unsatisfiability
Lecture Notes in Computer Science | 2007-09-04 | Paper |
Random backtracking in backtrack search algorithms for satisfiability
Discrete Applied Mathematics | 2007-08-23 | Paper |
Heuristic-based backtracking relaxation for propositional satisfiability
Journal of Automated Reasoning | 2007-01-24 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-15 | Paper |
Efficient data structures for backtrack search SAT solvers
Annals of Mathematics and Artificial Intelligence | 2005-05-13 | Paper |
| scientific article; zbMATH DE number 2084763 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2085252 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1975619 (Why is no real title available?) | 2003-09-07 | Paper |
An overview of backtrack search satisfiability algorithms
Annals of Mathematics and Artificial Intelligence | 2003-03-10 | Paper |
| Stochastic systematic search algorithms for satisfiability | 2001-09-24 | Paper |
