Hi all,
Slides for lectures 2 and 3 are now posted.
L2 slides have been significantly revised and expanded, errors have been corrected and Z3 encodings are available so that you can experiment with them. Please review the slides and report what’s incorrect or unclear.
L3 slides have been extended with links to tutorials that you may find useful in HW2.
The course web page: http://www.cs.berkeley.edu/~bodik/cs294fa12.
--Ras