DUGi: Llistar Títols | Reformulation | 0 - 2

Llistar Títols per Matèria "Reformulation"

S'han trobat 2 ítems

Llistant ítems des de 0 a 2:

1

Format	Data	Títol	Autor
Format	Data	Títol	Autor
	20 desembre 2012	A satisfiability modulo theories approach to constraint programming	Suy Franch, Josep
		A satisfiability modulo theories approach to constraint programming	Suy Franch, Josep

1

Matèries

51 - Matemàtiques 68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automàtica Programación con restricciones Reformulación Reformulation Satisfactibilitat mòdul teories Satisfiability modulo theories

Autors

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