Browsing by Author "Bofill Arasa, Miquel"

Browsing by Author "Bofill Arasa, Miquel"

orcId Bofill Arasa, Miquel researcherId Bofill Arasa, Miquel scopusId Bofill Arasa, Miquel

Now showing items 1-10 of 10

A Write-Based Solver for SAT Modulo the Theory of Arrays

2008 Article

Bofill Arasa, Miquel Nieuwenhuis, Robert Oliveras Llunell, Albert Rodríguez Carbonell, Enric et al.

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

A satisfiability modulo theories approach to constraint programming

2012-12-20 Thesis

Suy Franch, Josep

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.

Fuzzy XPath for the automatic search of fuzzy formulae models

2015-01-01 Article

Almendros-Jimenez, Jesùs M. Bofill Arasa, Miquel Luna-Tedesqui, Alejandro Moreno, Ginès et al.

Reformulation of constraint models into SMT

2015-12-10 Thesis

Palahí i Sitges, Miquel

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

The RANTANPLAN planner: system description

2016-12-22 Article

Bofill Arasa, Miquel Espasa, Joan Villaret i Ausellé, Mateu

SMT techniques for planning problems

2018-11-15 Thesis

Espasa Arxer, Joan

Now showing items 1-10 of 10