E-prints UPC: Ponències/Comunicacions de congressos


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

LOGPROG - Logica i Programacio

Cerca a:	Cercar per:

o Llista per

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
2011	A new algorithm for Weighted Partial MaxSAT	Ansótegui, Carlos; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi
2010	Tile-packing tomography is NP-hard	Chrobak, Marek; Dürr, Christoph; Guíñez, Flavio; Lozano Bojados, Antoni; Kim Thang, Nguyen
2009	Cardinality networks and their applications	Asín Acha, Roberto Javier; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric
2009	New mini-bucket partitioning heuristics for bounding the probability of evidence	Rollón Rico, Emma; Dechter, Rina
2009	Towards industrial-like random SAT instances	Ansótegui, Carlos; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi