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

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

Authors

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