Back to Results
First PageMeta Content
Automated theorem proving / Boolean algebra / Propositional calculus / Predicate logic / Resolution / Unit propagation / Mathematical proof / Davis–Putnam algorithm / NP / Logic / Mathematical logic / Mathematics


On Resolution Proofs for Combinational Equivalence
Add to Reading List

Document Date: 2007-07-30 11:55:07

Open Document

File Size: 196,73 KB

Share Result on Facebook
UPDATE