TY  - RPRT
TI  - Reflections on "Incremental Cardinality Constraints for MaxSAT"
AU  - Ruben Martins
AU  - Saurabh Joshi
AU  - Vasco Manquinho
AU  - Ines Lynce
PY  - 2019
UR  - https://arxiv.org/abs/1910.04643
ID  - 1910.04643
ER  -