DSpace DSpace UPC
 Català   Castellano   English  

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


LOGPROG - Logica i Programacio

Ponències/Comunicacions de congressos : [16]

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)
sat14.pdf.jpg2014Minimal-model-guided approaches to solving polynomial constraints and extensionsLarraz Hurtado, Daniel; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rubio Gimeno, Alberto
2014The IntSat method for integer linear programmingNieuwenhuis, Robert Lukas Mario
cav14.pdf.jpg2014Proving non-termination using max-SMTLarraz Hurtado, Daniel; Nimkar, Kaustubh; 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
Larraz et al.pdf.jpg2013Proving termination of imperative programs using Max-SMTLarraz Hurtado, Daniel; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rubio Gimeno, Alberto
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
2013Improving WPM2 for (weighted) partial MaxSATAnsótegui Gil, Carlos; Bonet Carbonell, M. Luisa; Gabàs, Joel; Levy Díaz, Jordi
2013Semiring-based mini-bucket partitioning schemesRollón Rico, Emma; Larrosa Bondia, Francisco Javier; Dechter, Rina
2012Nominal completion for rewrite systems with bindersFernández, Maribel; Rubio Gimeno, Alberto
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
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
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