![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 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](https://www.pdfsearch.io/img/110528b1308d4235c88caac744c6171a.jpg) Date: 2010-09-11 18:41:20Computer 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 ListSource URL: rjoshi.orgDownload Document from Source Website File Size: 94,91 KBShare Document on Facebook
|