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 |