Sciweavers

DAM
2008
67views more  DAM 2008»
13 years 3 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 ex...
Nicolas Peltier