Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996 / - Du, Dingzhu.; Gu, Jun; Pardalos, P. M. (American Mathematical Society, 1997)