Sciweavers

Share
DAM
2008

Extended resolution simulates binary decision diagrams

9 years 1 months ago
Extended resolution simulates binary decision diagrams
We prove that binary decision diagrams [1] can be polynomially simulated by the extended resolution rule of [2]. More precisely, for any unsatisfiable formula , there exists an extended resolution refutation of where the number of steps is polynomially bounded by the maximal size of the BDDs built from the formulae occurring in . Key words: Extended Resolution, Binary Decision Diagrams
Nicolas Peltier
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where DAM
Authors Nicolas Peltier
Comments (0)
books