Reformulation based maxsat robustness (2013)

by M Bofill, D Busquets, V Muñoz, M Villaret
Venue:Constraints