Constraint programming (Computer science)
Listing items with Subject "Constraint programming (Computer science)"
15 items found
Showing titles from 0 to 15:
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
|
|
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
|