Reflections on "Incremental Cardinality Constraints for MaxSAT"
Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ines Lynce
TL;DR
This paper reflects on the impact of the 2014 MaxSAT paper on the community, highlighting its influence over 25 years of constraint programming and its significance in advancing MaxSAT techniques.
Contribution
The paper provides a retrospective analysis of the influential 2014 MaxSAT paper, emphasizing its contributions and lasting impact on the field.
Findings
The 2014 paper significantly advanced MaxSAT solving techniques.
It influenced subsequent research and practical applications in constraint programming.
The paper highlights the enduring relevance of incremental cardinality constraints.
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsConstraint Satisfaction and Optimization · AI-based Problem Solving and Planning · Advanced Database Systems and Queries