Lesson Plan 9/11/2008

Model finding by local search

- encoding cyptarithmetic
	- what variables?
	- how to represent A + B = C ? without carry
	- what about carry?
	- mod function

- assignment: run it!  Tools will be available by Friday night.

- hand out readings

- describe walksat

	- demonstrate walksat on lap on queens
	- show java version queens

	- show effect of noise on random problems

- gamblers falacy argument	

- random 3 sat - hardness

	- show increase in hardness as approach 4.2

	- show unsat threshhold