| Publication | Date of Publication | Type |
|---|
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations
Journal Of Logic And Computation | 2022-11-01 | Paper |
Towards a better understanding of (partial weighted) MaxSAT proof systems
(available as arXiv preprint) | 2021-04-07 | Paper |
A framework for certified Boolean branch-and-bound optimization
Journal of Automated Reasoning | 2011-04-05 | Paper |
Semiring-induced propositional logic: definition and basic algorithms
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
Solving Max-SAT as weighted CSP
Lecture Notes in Computer Science | 2010-03-02 | Paper |
A logical approach to efficient Max-SAT solving
Artificial Intelligence | 2009-07-17 | Paper |
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates
Lecture Notes in Computer Science | 2009-07-07 | Paper |
| Minimaxsat: an efficient weighted Max-SAT solver | 2009-04-28 | Paper |
| 2006 and 2007 Max-SAT evaluations: contributed instances | 2009-02-24 | Paper |
A Soft Approach to Multi-objective Optimization
Logic Programming | 2009-01-22 | Paper |
Local Consistency in Weighted CSPs and Inference in Max-SAT
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Depth-First Mini-Bucket Elimination
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Mini-bucket Elimination with Bucket Propagation
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
Tree Decomposition with Function Filtering
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
A Max-SAT Inference-Based Pre-processing for Max-Clique
Theory and Applications of Satisfiability Testing – SAT 2008 | 2008-05-27 | Paper |
Unifying tree decompositions for reasoning in graphical models
Artificial Intelligence | 2007-10-23 | Paper |
Bucket elimination for multiobjective optimization problems
Journal of Heuristics | 2006-09-28 | Paper |
Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP
Journal of Heuristics | 2006-09-28 | Paper |
Solving weighted CSP by maintaining arc consistency
Artificial Intelligence | 2006-02-07 | Paper |
| scientific article; zbMATH DE number 2084714 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2084716 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2080314 (Why is no real title available?) | 2004-08-04 | Paper |
Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
Constraints | 2004-03-15 | Paper |
Partition-based lower bound for Max-CSP
Constraints | 2003-05-04 | Paper |
Constraint satisfaction algorithms for graph pattern matching
Mathematical Structures in Computer Science | 2003-02-17 | Paper |
On forward checking for non-binary constraint satisfaction.
Artificial Intelligence | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1487978 (Why is no real title available?) | 2000-08-10 | Paper |
Maintaining reversible DAC for Max-CSP
Artificial Intelligence | 1999-03-02 | Paper |
Non-monotonic characterization of induction and its application to inductive learning
International Journal of Intelligent Systems | 1995-12-03 | Paper |
