Reflections on "Incremental Cardinality Constraints for MaxSAT"
arXiv:1910.04643v11 citations
Originality Synthesis-oriented
AI Analysis
This is an incremental commentary paper reflecting on prior work, with no new problem tackled.
The authors reflect on their 2014 paper about incremental cardinality constraints for MaxSAT, discussing its impact on the Maximum Satisfiability community and beyond, but no concrete results or numbers are provided in this 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.