DUGi: Browse by Title | Boolean satisfiability | 0 - 2

Listing items with Subject "Boolean satisfiability"

2 items found

Showing titles from 0 to 2:

1

Format	Date	Title	Author
Format	Date	Title	Author
	2015 December 10	Reformulation of constraint models into SMT	Palahí i Sitges, Miquel
		Reformulation of constraint models into SMT	Palahí i Sitges, Miquel

1

Subjects

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

Authors

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