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

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

Authors

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