Iterative and core-guided MaxSAT solving: A survey and assessment
Loading...
Date
2013
Authors
Morgado, Antonio
Heras, Federico
Liffiton, Mark
Planes Cid, Jordi
Marques-Silva, Joao
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
Journal or Serie
Constraints, 2013, vol. 18, núm. 4, p. 478-534