DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >
Altres >
Enviament des de DRAC >

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/2117/14739

Ítem no disponible en accés obert per política de l'editorial

Arxiu Descripció MidaFormat
fulltext.pdfarticle principal282,6 kBAdobe PDF Accés restringit

Citació: Abío, I. [et al.]. BDDs for Pseudo-Boolean Constraints. A: International Conference on Theory and Applications of Satisfiability Testing. "SAT 2011 - Theory and Applications of Satisfiability Testing". Ann Arbor, MI, USA: Springer Verlag, 2011, p. 61-75.
Títol: BDDs for Pseudo-Boolean Constraints
Autor: Abío Roig, Ignasi Veure Producció científica UPC; Nieuwenhuis, Robert Lukas Mario Veure Producció científica UPC; Oliveras Llunell, Albert Veure Producció científica UPC; Rodríguez Carbonell, Enric Veure Producció científica UPC
Editorial: Springer Verlag
Data: 2011
Tipus de document: Conference report
Resum: Pseudo-Boolean constraints are omnipresent in practical applications, and therefore a significant effort has been devoted to the development of good SAT encoding techniques for these constraints. Several of these encodings are based on building Binary Decision Diagrams (BDDs) and translating these into CNF. Indeed, BDD-based encodings have important advantages, such as sharing the same BDD for representing many constraints. Here we first prove that, unless NP = Co-NP, there are Pseudo- Boolean constraints that admit no variable ordering giving a polynomial (Reduced, Ordered) BDD. As far as we know, this result is new (in spite of some misleading information in the literature). It gives several interesting insights, also relating proof complexity and BDDs. But, more interestingly for practice, here we also show how to overcome this theoretical limitation by coefficient decomposition. This allows us to give the first polynomial arc-consistent BDD-based encoding for Pseudo-Boolean constraints.
ISBN: 978-3-642-21580-3
URI: http://hdl.handle.net/2117/14739
DOI: 10.1007/978-3-642-21581-0_7
Versió de l'editor: http://www.springerlink.com/content/l76mt89727133500/
Apareix a les col·leccions:Altres. Enviament des de DRAC
LOGPROG - Logica i Programacio. Ponències/Comunicacions de congressos
Departaments de Matemàtica Aplicada. Ponències/Comunicacions de congressos
Departament de Ciències de la Computació. Ponències/Comunicacions de congressos
Comparteix:


Stats Mostra les estadístiques d'aquest ítem

SFX Query

Aquest ítem (excepte textos i imatges no creats per l'autor) està subjecte a una llicència de Creative Commons Llicència Creative Commons
Creative Commons

 

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