Llistar TÃtols per Matèria "Programació amb restriccions"
S'han trobat 4 Ãtems
Llistant Ãtems des de 0 a 4:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
10 desembre 2015 | Reformulation of constraint models into SMT | Palahà i Sitges, Miquel | |
Reformulation of constraint models into SMT | Palahà i Sitges, Miquel | ||
20 desembre 2012 | A satisfiability modulo theories approach to constraint programming | Suy Franch, Josep | |
A satisfiability modulo theories approach to constraint programming | Suy Franch, Josep |