Satisfiability problem : - Du, Dingzhu; Gu, Jun 1956-; Παρδαλός, Πάνος Μ. (DIMACS series in discrete mathematics and theoretical computer science ;, 1997)