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

Readings for tomorrow's class



I plan to discuss CSP and SAT solving techniques tomorrow.
The relevant textbook sections are:

5.1--5.3;
7.6

Please read them before coming

Rao