Lectures

SAT, DIMACS, DPLL

Every one of your groups should be meeting w/1 of the designated staff members!!!

More Pen-and-paper proofs

We do more of these proofs in class, using the proof checking tool, as well as just working in an editor and uploading.