Listing items by Author "Palahà i Sitges, Miquel"
9 items found
Showing titles from 0 to 9:
Format | Date | Title | Author |
---|
Format | Date | Title | Author |
|
2015 December 10 |
Reformulation of constraint models into SMT |
Palahà i Sitges, Miquel
|
|
|
Reformulation of constraint models into SMT |
Palahà i Sitges, Miquel
|
|
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
|
|
2012 |
Solving constraint satisfaction problems with SAT modulo theories |
Bofill Arasa, Miquel
; Palahà i Sitges, Miquel
; Suy Franch, Josep
; Villaret i Ausellé, Mateu
|
|
|
Solving constraint satisfaction problems with SAT modulo theories |
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
|
|
|
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
|