Iterative and core-guided MaxSAT solving: A survey and assessment

DOI: 10.1007/s10601-013-9146-2

Authors

António Morgado, Federico Heras, Mark H. Liffiton, Jordi Planes, Joao Marques-Silva
Constraints 18(4), October 2013

Publication date