Title of article
Extended resolution simulates binary decision diagrams Original Research Article
Author/Authors
Nicolas Peltier، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
13
From page
825
To page
837
Abstract
We prove that binary decision diagrams [R. Bryant, Symbolic Boolean manipulation with ordered binary decision diagrams, ACM Comput. Surveys 23 (3) (1992)] can be polynomially simulated by the extended resolution rule of [G.S. Tseitin, On the complexity of derivation in propositional calculus, in: A. Slisenko (Ed.), Studies in Constructive Mathematics and Mathe
Keywords
Extended resolution , Binary decision diagrams
Journal title
Discrete Applied Mathematics
Serial Year
2008
Journal title
Discrete Applied Mathematics
Record number
886699
Link To Document