Satisfiability problem theory and applications ; DIMACS workshop March 11 - 13, 1996 (Center for Discrete Mathematics and Theoretical Computer Science <New Brunswick, NJ>: DIMACS series in discrete mathematics and theoretical computer science, 1997)