E-prints UPC: Llistar


Català Castellano English

	Pàgina d'inici
	Estadístiques d'ús

Llistar
	Comunitats
	Títol
	Autor
	Data
	Matèria
	Àrees temàtiques de la UPC

Serveis
	Alertes
	El meu E-prints UPC usuaris autoritzats
	Editar perfil
	Entrada usuaris no UPC



	Sobre DSpace

	Bibliotècnica: la biblioteca digital de la UPC

Llistant per Autor Abío Roig, Ignasi

Saltar a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

O introdueix les primeres lletres:

Mostrant resultats 1 a 4 de 4

Data	Títol	Autor(s)
2011	BDDs for Pseudo-Boolean Constraints	Abío Roig, Ignasi; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric
2011	Reducing chaos in SAT-like search: finding solutions close to a given one	Abío Roig, Ignasi; Deters, Morgan; Nieuwenhuis, Robert Lukas Mario; Stuckey, Peter
ago-2010	The ultrametric space of plane branches	Abío Roig, Ignasi; Alberich Carramiñana, Maria; González Alonso, Víctor
2011	The ultrametric space of plane branches	Abío Roig, Ignasi; Alberich Carramiñana, Maria; González Alonso, Víctor

Mostrant resultats 1 a 4 de 4