Data del Ajut | 21 de des. 2000 |
---|---|
Idioma original | No s'ha definit/desconegut |
Supervisor | Felip Manyà Serres (Director/a) & Xavier Binefa Valls (Tutor/a) |
Systematic and local search algorithms for regular-sat
Tesi d’estudis: Tesi doctoral