Progression in Maximum Satisfiability.

Alexey Ignatiev, Antnio Morgado, Vasco Manquinho, Ins Lynce, Joo Marques-Silva

Browse the full ECAI paper archive.