CSP (Llenguatge de programaci贸)
Listing items with Subject "CSP (Llenguatge de programaci贸)"
4 items found
Showing titles from 0 to 4:
Format | Date | Title | Author |
---|
Format | Date | Title | Author |
|
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
|