Browsing by Author "Palahí i Sitges, Miquel"

Browsing by Author "Palahí i Sitges, Miquel"

scopusId Palahí i Sitges, Miquel

Now showing items 1-4 of 4

SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format

2009 Article

Bofill Arasa, Miquel Palahí i Sitges, Miquel Suy Franch, Josep Villaret i Ausellé, Mateu

Solving constraint satisfaction problems with SAT modulo theories

2012 Article

Bofill Arasa, Miquel Palahí i Sitges, Miquel Suy Franch, Josep Villaret i Ausellé, Mateu

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

2013-01-01 Article

Ansótegui, Carlos Bofill Arasa, Miquel Palahí i Sitges, Miquel Suy Franch, Josep et al.

Reformulation of constraint models into SMT

2015-12-10 Thesis

Palahí i Sitges, Miquel

Now showing items 1-4 of 4