|
|
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers |
AnsĂłtegui, Carlos
; Bofill Arasa, Miquel
; ManyĂ , Felip
; Villaret i Ausellé, Mateu
|
|
2016 June 1 |
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers |
AnsĂłtegui, Carlos
; Bofill Arasa, Miquel
; ManyĂ , Felip
; Villaret i Ausellé, Mateu
|
|
|
Fuzzy XPath for the automatic search of fuzzy formulae models |
Almendros-Jimenez, JesĂąs M.
; Bofill Arasa, Miquel
; Luna-Tedesqui, Alejandro
; Moreno, Ginès
; VĂ zquez, Carlos
; Villaret i Ausellé, Mateu
|
|
2015 January 1 |
Fuzzy XPath for the automatic search of fuzzy formulae models |
Almendros-Jiménez, Jesús M.
; Bofill Arasa, Miquel
; Luna-Tedesqui, Alejandro
; Moreno, Ginès
; VĂ zquez, Carlos
; Villaret i Ausellé, Mateu
|
|
2018 June 5 |
The RANTANPLAN planner: system description |
Bofill Arasa, Miquel
; Espasa, Joan
; Villaret i Ausellé, Mateu
|
|
2016 December 22 |
The RANTANPLAN planner: system description |
Bofill Arasa, Miquel
; Espasa Arxer, Joan
; Villaret i Ausellé, Mateu
|
|
|
Reformulation of constraint models into SMT |
PalahĂ i Sitges, Miquel
|
|
|
Resource Analysis driven by (Conditional) Termination Proofs |
Albert, Elvira
; Bofill Arasa, Miquel
; Borralleras, Cristina
; MartĂn-MartĂn, Enrique
; Rubio, Albert
|
|
2022 January |
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints |
Bofill Arasa, Miquel
; Coll Caballero, Jordi
; Nightingale, Peter
; Suy Franch, Josep
; Ulrich-Oltean, Felix
; Villaret i Ausellé, Mateu
|
|
2012 December 20 |
A satisfiability modulo theories approach to constraint programming |
Suy Franch, Josep
|
|
|
A satisfiability modulo theories approach to constraint programming |
Suy Franch, Josep
|
|
2009 |
SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format |
Bofill Arasa, Miquel
; PalahĂ i Sitges, Miquel
; Suy Franch, Josep
; Villaret i Ausellé, Mateu
|
|
|
SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format |
Bofill Arasa, Miquel
; PalahĂ i Sitges, Miquel
; Suy Franch, Josep
; Villaret i Ausellé, Mateu
|
|
|
SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format |
Bofill Arasa, Miquel
; PalahĂ i Sitges, Miquel
; Suy Franch, Josep
; Villaret i Ausellé, Mateu
|
|
2018 November 15 |
SMT techniques for planning problems |
Espasa Arxer, Joan
|
|
|
Solving constraint satisfaction problems with SAT modulo theories |
Bofill Arasa, Miquel
; PalahĂ i Sitges, Miquel
; Suy Franch, Josep
; Villaret i Ausellé, Mateu
|
|
2012 |
Solving constraint satisfaction problems with SAT modulo theories |
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 |
AnsĂłtegui, Carlos
; Bofill Arasa, Miquel
; PalahĂ i Sitges, Miquel
; Suy Franch, Josep
; Villaret i Ausellé, Mateu
|
|
2013 January 1 |
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories |
AnsĂłtegui, Carlos
; Bofill Arasa, Miquel
; PalahĂ i Sitges, Miquel
; Suy Franch, Josep
; Villaret i Ausellé, Mateu
|
|
|
A Write-Based Solver for SAT Modulo the Theory of Arrays |
Bofill Arasa, Miquel
; Nieuwenhuis, Robert
; Oliveras Llunell, Albert
; RodrĂguez Carbonell, Enric
; Rubio, Albert
|
|
2008 |
A Write-Based Solver for SAT Modulo the Theory of Arrays |
Bofill Arasa, Miquel
; Nieuwenhuis, Robert
; Oliveras Llunell, Albert
; RodrĂguez Carbonell, Enric
; Rubio, Albert
|