Browsing by Author "Ansótegui, Carlos"

Browsing by Author "Ansótegui, Carlos"

Now showing items 1-2 of 2

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.

Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers

2016-06-01 Article

Ansótegui, Carlos Bofill Arasa, Miquel Manyà, Felip Villaret i Ausellé, Mateu

Now showing items 1-2 of 2