Incremental cardinality constraints for MaxSAT (2014)

by R Martins, S Joshi, V M Manquinho, I Lynce
Venue:In Proc. CP, volume 8656 of LNCS