Constraint programming
Listing items with Subject "Constraint programming"
20 items found
Showing titles from 0 to 20:
| Format | Date | Title | Author |
|---|
| Format | Date | Title | Author |
|---|
|
|
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
|
|
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
|
2018 June 1 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
|
|
|
2018 June 5 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
2016 September |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
|
2020 February 15 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
|
2017 June |
Entorn de visualització i resolució de puzles tipus Cococrash |
Toledo Román, José Manuel
|
|
|
2015 June |
Generador d’horaris d’instituts |
Nogueira Gascons, Cristòfor
|
|
|
|
Generador d’horaris d’instituts |
Nogueira Gascons, Cristòfor
|
|
|
2018 June 1 |
The RANTANPLAN planner: system description |
|
|
|
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
|
|
|
2015 December 10 |
Reformulation of constraint models into SMT |
Palahà i Sitges, Miquel
|
|
|
|
Reformulation of constraint models into SMT |
Palahà i Sitges, Miquel
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
