![](/img/cover-not-exists.png)
Iterative and core-guided MaxSAT solving: A survey and assessment
Antonio Morgado, Federico Heras, Mark Liffiton, Jordi Planes, Joao Marques-SilvaVolume:
18
Language:
english
DOI:
10.1007/s10601-013-9146-2
Date:
October, 2013
File:
PDF, 5.13 MB
english, 2013