The satisfiability problem (Discrete applied mathematics, 1999)