Satisfiability problem theory and applications ; DIMACS workshop March 11 - 13, 1996 (American Math. Soc., 1997)