DSpace DSpace UPC
 Català   Castellano   English  

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


LOGPROG - Logica i Programacio

Ponències/Comunicacions de congressos : [13]

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)
2013To encode or to propagate? The best choice for each constraint in SATAbío Roig, Ignasi; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Stuckey, Peter
2013Semiring-based mini-bucket partitioning schemesRollón Rico, Emma; Larrosa Bondia, Francisco Javier; Dechter, Rina
2013Improving WPM2 for (weighted) partial MaxSATAnsótegui Gil, Carlos; Bonet Carbonell, M. Luisa; Gabàs, Joel; Levy Díaz, Jordi
Larraz et al.pdf.jpg2013Proving termination of imperative programs using Max-SMTLarraz Hurtado, Daniel; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rubio Gimeno, Alberto
2013A parametric approach for smaller and better encodings of cardinality constraintsAbío Roig, Ignasi; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric
2012Nominal completion for rewrite systems with bindersFernández, Maribel; Rubio Gimeno, Alberto
2011A new algorithm for Weighted Partial MaxSATAnsótegui, Carlos; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi
2011BDDs for Pseudo-Boolean ConstraintsAbío Roig, Ignasi; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric
2011Reducing chaos in SAT-like search: finding solutions close to a given oneAbío Roig, Ignasi; Deters, Morgan; Nieuwenhuis, Robert Lukas Mario; Stuckey, Peter
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
2009Towards industrial-like random SAT instancesAnsótegui Gil, Carlos; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi
Rollon.pdf.jpg2009New mini-bucket partitioning heuristics for bounding the probability of evidenceRollón Rico, Emma; Dechter, Rina

 

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