Back to Results
First PageMeta Content
Logic in computer science / Formal methods / Automated theorem proving / Proof theory / Deduction / Curry–Howard correspondence / Symbol / Entailment / Boolean satisfiability problem / Theoretical computer science / Logic / Mathematics


Extracting a DPLL Algorithm
Add to Reading List

Document Date: 2012-10-25 13:49:14

Open Document

File Size: 228,22 KB

Share Result on Facebook
UPDATE