Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories

DOI: 10.1007/s10601-012-9131-1

Authors

Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
Constraints 18(2), Special Issue on Constraint Modelling and Reformulation, April 2013

Publication date