BDDs for Pseudo-Boolean Constraints
Visualitza/Obre
article principal (282,5Kb) (Accés restringit)
Sol·licita una còpia a l'autor
Què és aquest botó?
Aquest botó permet demanar una còpia d'un document restringit a l'autor. Es mostra quan:
- Disposem del correu electrònic de l'autor
- El document té una mida inferior a 20 Mb
- Es tracta d'un document d'accés restringit per decisió de l'autor o d'un document d'accés restringit per política de l'editorial
10.1007/978-3-642-21581-0_7
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/14739
Tipus de documentText en actes de congrés
Data publicació2011
EditorSpringer Verlag
Condicions d'accésAccés restringit per política de l'editorial
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
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.
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.
ISBN978-3-642-21580-3
Versió de l'editorhttp://www.springerlink.com/content/l76mt89727133500/
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
fulltext.pdf | article principal | 282,5Kb | Accés restringit |