Recently, a certain "monotone" version of the constraint
satisfaction problem has proved an extremely useful tool for
attacking problems in circuit, communication, and proof complexity
theory. In this talk we discuss this version of the
constraint...