Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

DAM
2008

favoriteEmaildiscussreport

67views more DAM 2008»

Extended resolution simulates binary decision diagrams

13 years 4 months ago

Extended resolution simulates binary decision diagrams

Download membres-lig.imag.fr

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

Real-time Traffic

Binary Decision | DAM 2008 | Extended Resolution | Extended Resolution Rule |

claim paper

Related Content

» Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially

» Extended Resolution Proofs for Conjoining BDDs

» Ordered Binary Decision Diagrams Pigeonhole Formulas and Beyond

» Functional simulation using binary decision diagrams

» BDDs and Automated Deduction

» EvolutionaryReduced Ordered Binary Decision Diagram

» Using Datalog with Binary Decision Diagrams for Program Analysis

» NonEnumerative Path Delay Fault Diagnosis

» On the Representation of Probabilities over Structured Domains

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	DAM
Authors	Nicolas Peltier

Comments (0)