1. cs1120 Fall 2011 | David Evans | 14 November 2011 2. AnnouncementsDon’t forget to submit your PS8 choice before5pm today!If you don’t submit anything, you areexpected…
Slide 1 The Simplify Theorem Prover Greg Nelson, Dave Detlefs and Jim Saxe Mooly Sagiv Slide 2 Bibliography Nelson & Oppen Simplification by Cooperating Decision Procedures…