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
|