DRMaxSAT with MaxHS: First Contact.

Antnio Morgado, Alexey Ignatiev, Maria Luisa Bonet, Joo Marques-Silva, Sam Buss

Browse the full SAT paper archive.