[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Homework 2 up on line (with an extra problem) now due 10/11



I added III.c--which is about SAT encoding--as discussed in today's
class (since the deadline has been extended to 11th).

Rao