Constraint Programming

Reflections on "Incremental Cardinality Constraints for MaxSAT"

To celebrate the first 25 years of the International Conference on Principles and Practice of Constraint Programming (CP) the editors invited the authors of the most cited paper of each year to write a commentary on their paper. This report describes …

Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT

This paper presents a couple of incomplete Weighted MaxSAT solving techniques along with analysis on the deviation to the optimal value.

Phase Transition Behavior of Cardinality and XOR Constraints

This paper studies phase transition behaviour of CARD-XOR formulas.

Approximation Strategies for Incomplete MaxSAT

This paper presents a couple of incomplete Weighted MaxSAT solving techniques that allowed _Open-WBO-Inc_ to win accolades in MaxSAT evaluations 2018 and MaxSAT evaluations 2019.

Open-WBO-Inc

An open-source solver for incomplete MaxSAT

OpenWBO

An open-source MaxSAT and Pseudo-Boolean solver

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving

This paper is an extended version of the CP 2014 paper where incremental encoding is extended to weighted MaxSAT.

Generalized Totalizer Encoding for Pseudo-Boolean Constraints

This paper describes Generalized Totalizer Encoding (GTE) to encode Pseudo-Boolean Constraints. This encoding led Open-WBO to win accolades in MaxSAT evaluations and Pseudo-Boolean evaluations.

Incremental Cardinality Constraints for MaxSAT

This paper describes techniques to incremental encode cardinality constraints. This led Open-WBO to win accolades in MaxSAT evaluations.