The satisfiability problem (Elsevier, 1999)