Browsing Articles publicats (Informàtica i Enginyeria Industrial) by Author "Palahí, Miquel"
Now showing items 1-1 of 1
-
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
Ansótegui Gil, Carlos José; Bofill, Miquel; Palahí, Miquel; Suy, Josep; Villaret, Mateu (Springer Verlag, 2013)We introduce WSimply, a new framework for modelling and solving Weighted Constraint Satisfaction Problems (WCSP) using Satisfiability Modulo Theories (SMT) technology. In contrast to other well-known approaches designed ...