Back to Results
First PageMeta Content
Theoretical computer science / Logic / Mathematical logic / Formal methods / Boolean algebra / NP-complete problems / Logic in computer science / Propositional calculus / Algorithm / Boolean satisfiability problem / NP / Modal logic


Denali: A Goal-directed Superoptimizer Rajeev Joshi Greg Nelson ∗
Add to Reading List

Document Date: 2010-09-11 18:26:03

Open Document

File Size: 127,11 KB

Share Result on Facebook