DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >
Informàtica >
LOGPROG - Logica i Programacio >


LOGPROG - Logica i Programacio

Ponències/Comunicacions de congressos : [8]

Cerca a aquesta col·lecció:


 




Llista per 
Subscriviu-vos per rebre un correu electrònic cada vegada que s'introdueixi un nou ítem en aquesta col·lecció.
Vista preliminarDataTítolAutor(s)
Larraz et al.pdf.jpg2013Proving termination of imperative programs using Max-SMTLarraz Hurtado, Daniel; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rubio Gimeno, Alberto
2011Reducing chaos in SAT-like search: finding solutions close to a given oneAbío Roig, Ignasi; Deters, Morgan; Nieuwenhuis, Robert Lukas Mario; Stuckey, Peter
2011BDDs for Pseudo-Boolean ConstraintsAbío Roig, Ignasi; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric
2011A new algorithm for Weighted Partial MaxSATAnsótegui, Carlos; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi
2010Tile-packing tomography is NP-hardChrobak, Marek; Dürr, Christoph; Guíñez, Flavio; Lozano Bojados, Antoni; Kim Thang, Nguyen
2009Cardinality networks and their applicationsAsín Acha, Roberto Javier; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric
Rollon.pdf.jpg2009New mini-bucket partitioning heuristics for bounding the probability of evidenceRollón Rico, Emma; Dechter, Rina
2009Towards industrial-like random SAT instancesAnsótegui, Carlos; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius