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 comunitat
Per data de publicació
Autor/a
Títols
Matèries
Identifica't
Usuaris UdG
Identificació UdG
Usuaris externs
Restablir contrasenya
Cerca en aquesta comunitat
Recerca
Departament d'In...
Visualitzant Departament d'Informàtica, Matemàtica Aplicada i Estadística per autor
Visualitzant Departament d'Informàtica, Matemàtica Aplicada i Estadística per autor "Ansótegui, Carlos"
Ara es mostren els resultats
1
-
2
de
2
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.
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
2016-06-01
Article
Ansótegui, Carlos
Bofill Arasa, Miquel
Manyà, Felip
Villaret i Ausellé, Mateu
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 comunitat
Per data de publicació
Autor/a
Títols
Matèries
idioma
català
español
English
Contacte
Avís Legal