Reflections on "Incremental Cardinality Constraints for MaxSAT"
Logic in Computer Science
2019-10-11 v1 Artificial Intelligence
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.
Cite
@article{arxiv.1910.04643,
title = {Reflections on "Incremental Cardinality Constraints for MaxSAT"},
author = {Ruben Martins and Saurabh Joshi and Vasco Manquinho and Ines Lynce},
journal= {arXiv preprint arXiv:1910.04643},
year = {2019}
}
Comments
10 pages, 1 algorithm, 1 table, 4 figures, article invited as part of "Virtual Volume" for 25th anniversary of CP