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 ...