Model-Guided Approaches for MaxSAT Solving.

Antnio Morgado, Federico Heras, Joo Marques-Silva

Browse the full ICTAI paper archive.