Listing items with Subject "Programació amb restriccions"
4 items found
Showing titles from 0 to 4:
| 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 | |
|
|
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 |
