Satisfied with satisfiability? - a note on the first NP-complete proglem. [article]. - Vergara, John Paul C.
Keywords: Computer-Periodicals.; Non-deterministic turing machine computation; Turing-computable function; Satisfiability