First Page | Document Content | |
---|---|---|
Date: 2010-09-11 18:26:03Theoretical 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 ListSource URL: rjoshi.orgDownload Document from Source WebsiteFile Size: 127,11 KBShare Document on Facebook |