DUGi: Browse by Title | metarestricciones | 0 - 2

Listing items with Subject "metarestricciones"

2 items found

Showing titles from 0 to 2:

1

Format	Date	Title	Author
Format	Date	Title	Author
	2012 December 20	A satisfiability modulo theories approach to constraint programming	Suy Franch, Josep
		A satisfiability modulo theories approach to constraint programming	Suy Franch, Josep

1

Subjects

Tesis i dissertacions acadèmiques Satisfactibilidad módulo teorias Reformulación 68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automàtica metarestricciones Programación con restricciones Constraint programming

Authors

Universitat de Girona. Departament d’Informàtica i Matemàtica Aplicada Villaret i Ausellé, Mateu Bofill Arasa, Miquel Suy Franch, Josep