Reformulation based MaxSAT robustness

DOI: 10.1007/s10601-012-9130-2

Authors

Miquel Bofill, Dídac Busquets, Víctor Muñoz, Mateu Villaret
Constraints 18(2), Special Issue on Constraint Modelling and Reformulation, April 2013

Publication date