Llistar TÃtols per Matèria "Satisfactibilitat mòdul teories"
S'han trobat 3 Ãtems
Llistant Ãtems des de 0 a 3:
| Format | Data | TÃtol | Autor |
|---|---|---|---|
| Format | Data | TÃtol | Autor |
|
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 | |
|
|
15 juliol 2019 | Scheduling through logic-based tools | Coll Caballero, Jordi |
