DUGiDocs
Idioma
català
español
English
Visualitza
Tot el Repositori
Comunitats i col·leccions
Per data de publicació
Autor/a
Títols
Matèries
Aquesta col·lecció
Per data de publicació
Autor/a
Títols
Matèries
Identifica't
Usuaris UdG
Identificació UdG
Usuaris externs
Restablir contrasenya
Cerca en aquesta col·lecció
Recerca
Departament d'In...
Tesis doctorals ...
Visualitzant Tesis doctorals (D-IMAE) per autor
Visualitzant Tesis doctorals (D-IMAE) per autor "Bofill Arasa, Miquel"
orcId Bofill Arasa, Miquel
researcherId Bofill Arasa, Miquel
scopusId Bofill Arasa, Miquel
Ara es mostren els resultats
1
-
3
de
3
A satisfiability modulo theories approach to constraint programming
2012-12-20
Tesi
Suy Franch, Josep
Reformulation of constraint models into SMT
2015-12-10
Tesi
Palahí i Sitges, Miquel
SMT techniques for planning problems
2018-11-15
Tesi
Espasa Arxer, Joan
Ara es mostren els resultats
1
-
3
de
3
Visualitza
Tot el Repositori
Comunitats i col·leccions
Per data de publicació
Autor/a
Títols
Matèries
Aquesta col·lecció
Per data de publicació
Autor/a
Títols
Matèries
idioma
català
español
English
Contacte
Avís Legal