@article{reflectionsonincrementalcardinality, title = {Reflections on "Incremental Cardinality Constraints for MaxSAT"}, author = {Ruben Martins and Saurabh Joshi and Vasco Manquinho and Ines Lynce}, year = {2019}, eprint = {1910.04643}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/1910.04643v1}, }