Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
Carlos Ansótegui,Miquel Bofill,Miquel Palahí,Josep Suy,Mateu VillaretVolume:
18
Language:
english
Journal:
Constraints
DOI:
10.1007/s10601-012-9131-1
Date:
April, 2013
File:
PDF, 1.10 MB
english, 2013