DUGi: Llistar Títols | dc.subject:"Satisfactibilidad booleana" | 0 - 2

Llistar Títols

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

Satisfactibilitat booleana 51 - Matemàtiques Tesis i dissertacions acadèmiques Boolean satisfiability Constraint programming Programación con restricciones Satisfactibilidad booleana

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-)