Incremental Cardinality Constraints for MaxSAT
Ruben Martins‚ Saurabh Joshi‚ Vasco M. Manquinho and Inês Lynce
Book Title
Principles and Practice of Constraint Programming − 20th International Conference‚ CP 2014‚ Lyon‚ France‚ September 8−12‚ 2014. Proceedings
Editor
Barry O'Sullivan
ISBN
978−3−319−10427−0
Pages
531–548
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
8656
Year
2014