Reformulation based MaxSAT robustness - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Miquel Bofill, Dídac Busquets, Víctor Muñoz, Mateu Villaret. Reformulation based MaxSAT robustness. Constraints, 18(2):202-235, 2013. [doi]

This author has not been identified. Look up 'Miquel Bofill' in GoogleThis author has not been identified. Look up 'Dídac Busquets' in GoogleThis author has not been identified. Look up 'Víctor Muñoz' in GoogleThis author has not been identified. Look up 'Mateu Villaret' in Google

runs on WebDSL