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
Publicacions de ...
Visualitzant Publicacions de projectes I+D+I de Programes Nacionals i Estatals d'Investigació per matèria
Visualitzant Publicacions de projectes I+D+I de Programes Nacionals i Estatals d'Investigació per matèria "CSP (Computer program language)"
Ara es mostren els resultats
1
-
2
de
2
Solving constraint satisfaction problems with SAT modulo theories
2012
Article
Bofill Arasa, Miquel
Palahí i Sitges, Miquel
Suy Franch, Josep
Villaret i Ausellé, Mateu
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
2013-01-01
Article
Ansótegui, Carlos
Bofill Arasa, Miquel
Palahí i Sitges, Miquel
Suy Franch, Josep
et al.
Ara es mostren els resultats
1
-
2
de
2
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