Satisfied with satisfiability? - a note on the first NP-complete proglem. [article]. - Vergara, John Paul C.