|
1 gener 2015 |
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
|
|
juny 2006 |
Generador d’horaris d’un centre docent |
Villaret Lloret, Oriol
|
|
|
Generador d’horaris d’un centre docent |
Villaret Lloret, Oriol
|
|
5 juny 2018 |
Higher-Order Pattern Anti-Unification in Linear Time |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu ​
|
|
1 febrer 2017 |
Higher-Order Pattern Anti-Unification in Linear Time |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
19 novembre 2021 |
L’anà lisi de dades i l’optimització |
MartÃn, Josep Antoni
; Villaret i Ausellé, Mateu
|
|
5 juny 2018 |
The RANTANPLAN planner: system description |
Bofill Arasa, Miquel
; Espasa, Joan
; Villaret i Ausellé, Mateu
|
|
22 desembre 2016 |
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
|
|
gener 2022 |
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
|
|
20 desembre 2012 |
A satisfiability modulo theories approach to constraint programming |
Suy Franch, Josep
|
|
|
A satisfiability modulo theories approach to constraint programming |
Suy Franch, Josep
|
|
15 juliol 2019 |
Scheduling through logic-based tools |
Coll Caballero, Jordi
|
|
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
|
|
15 novembre 2018 |
SMT techniques for planning problems |
Espasa Arxer, Joan
|
|
1 setembre 2018 |
Snowman Editor : A level design tool for the game A Good Snowman Is Hard To Build |
Martin Teixidor, Gerard
|
|
|
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
|
|
1 gener 2013 |
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
|
|
juny 2015 |
Tracejador Interactiu de Lambda-Cà lcul Web – TILC(W) |
Gallart Garangou, Oriol
|
|
|
Tracejador Interactiu de Lambda-Cà lcul Web – TILC(W) |
Gallart Garangou, Oriol
|
|
2013 |
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|