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

004 - Informàtica 51 - Matemàtiques Boolean satisfiability Constraint programming Programación con restricciones Satisfactibilidad booleana Satisfactibilitat booleana

Authors

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