Back to Results
First PageMeta Content
Computer programming / Theoretical computer science / Software engineering / Logic in computer science / Computational complexity theory / Boolean algebra / NP-complete problems / Formal methods / Boolean satisfiability problem / Conditional / Reduction / Algorithm


The Straight-Line Automatic Programming Problem Rajeev Joshi, Greg Nelson, Yunhong Zhou HP Laboratories Palo Alto HPLNovember 20th , 2003* superoptimization,
Add to Reading List

Document Date: 2010-09-11 18:41:20


Open Document

File Size: 94,91 KB

Share Result on Facebook