Reflections on "Incremental Cardinality Constraints for MaxSAT" Ruben Martins, admin, Vasco Manquinho, Ines Lynce Last updated on Nov 15, 2021 PDF Cite DOI Virtual Volume Constraint Programming