Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10256/9867

A satisfiability modulo theories approach to constraint programming
Suy Franch, Josep
Bofill Arasa, Miquel; Villaret i Ausellé, Mateu; Universitat de Girona. Departament d'Informàtica i Matemàtica Aplicada
Tesis i dissertacions acadèmiques
Constraint programming
Programació amb restriccions
Programación con restricciones
Satisfiability modulo theories
Satisfactibilitat mòdul teories
Satisfactibilidad módulo teorias
Reformulation
Reformulació
Reformulación
Metaconstraints
Metarestriccions
metarestricciones
51 - Matemàtiques
68 - Indústries, oficis i comerç d'articles acabats. Tecnologia cibernètica i automàtica
L'accés als continguts d'aquesta tesi queda condicionat a l'acceptació de les condicions d'ús establertes per la següent llicència Creative Commons: http://creativecommons.org/licenses/by/3.0/es/
info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
Universitat de Girona
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Bofill Arasa, Miquel; Palahí i Sitges, Miquel; Suy Franch, Josep; Villaret i Ausellé, Mateu
Bofill Arasa, Miquel; Palahí i Sitges, Miquel; Suy Franch, Josep; Villaret i Ausellé, Mateu
Bofill Arasa, Miquel; Palahí i Sitges, Miquel; Suy Franch, Josep; Villaret i Ausellé, Mateu
Ansótegui, Carlos; Bofill Arasa, Miquel; Palahí i Sitges, Miquel; Suy Franch, Josep; Villaret i Ausellé, Mateu