DUGi: Llistar Títols | Satisfactibilidad booleana | 0 - 2

Llistar Títols per Matèria "Satisfactibilidad booleana"

S'han trobat 2 ítems

Llistant ítems des de 0 a 2:

1

Format	Data	Títol	Autor
Format	Data	Títol	Autor
	10 desembre 2015	Reformulation of constraint models into SMT	Palahí i Sitges, Miquel
		Reformulation of constraint models into SMT	Palahí i Sitges, Miquel

1

Matèries

Constraint programming Boolean satisfiability Tesis i dissertacions acadèmiques 51 - Matemàtiques Programació amb restriccions 004 - Informàtica Programación con restricciones

Autors

Bofill Arasa, Miquel Villaret i Ausellé, Mateu Palahí i Sitges, Miquel Universitat de Girona. Departament d’Informàtica, Matemàtica Aplicada i Estadística (2013-)