Reflections on "Incremental Cardinality Constraints for MaxSAT"

10/10/2019

∙

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 our reflections on the CP 2014 paper "Incremental Cardinality Constraints for MaxSAT" and its impact on the Maximum Satisfiability community and beyond.

READ FULL TEXT

Reflections on "Incremental Cardinality Constraints for MaxSAT"

Incremental Cardinality Constraints for MaxSAT

Constraint Reductions

On the CNF encoding of cardinality constraints and beyond

Evaluating Certificate Policy - Certification Practice Statement of Unique Government Certification Authority using Public Key Infrastructure Assessment Guidelines: Research in

Exact Optimization of Conformal Predictors via Incremental and Decremental Learning

Stable Marriage Problems with Ties and Incomplete Preferences: An Empirical Comparison of ASP, SAT, ILP, CP, and Local Search Methods

An Efficient Algorithm for Mining Frequent Sequence with Constraint Programming

Reflections on "Incremental Cardinality Constraints for MaxSAT"

Related Research

Incremental Cardinality Constraints for MaxSAT

Constraint Reductions

On the CNF encoding of cardinality constraints and beyond

Evaluating Certificate Policy - Certification Practice Statement of Unique Government Certification Authority using Public Key Infrastructure Assessment Guidelines: Research in

Exact Optimization of Conformal Predictors via Incremental and Decremental Learning

Stable Marriage Problems with Ties and Incomplete Preferences: An Empirical Comparison of ASP, SAT, ILP, CP, and Local Search Methods

An Efficient Algorithm for Mining Frequent Sequence with Constraint Programming