DUGi: Browse by Title | (dc.creator:"Suy Franch, Josep" OR dc.contributor:"Suy Franch, Josep" OR dc.contributor.other:"Suy Franch, Josep") | 25 - 31

Browse by Title

31 items found

Showing titles from 25 to 31:

1 2

Format	Date	Title	Author
Format	Date	Title	Author
		Solving constraint satisfaction problems with SAT modulo theories	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	2012	Solving constraint satisfaction problems with SAT modulo theories	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
		Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	2013 January 1	Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	2003 June	Traductor de pseudocodi a Java	Royán Salvatella, Carles
		Traductor de pseudocodi a Java	Royán Salvatella, Carles

1 2

Subjects

Java (Computer program language) Bases de dades -- Disseny Empreses -- Xarxes d’ordinadors Infografia Satisfiability modulo theories Metarestriccions Programación con restricciones

Authors

Ulrich-Oltean, Felix Garcia Sánchez, Sílvia Coll Caballero, Jordi Solà Fernández, Xavier Nogueira Gascons, Cristòfor Marzo i Lázaro, Josep Lluís Nightingale, Peter