Satisfied with satisfiability? - a note on the first NP-complete proglem. [article].

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Vergara, John Paul C.
Μορφή:	Analytics
Γλώσσα:	English
Θέματα:	Computer-Periodicals. Non-deterministic turing machine computation. Turing-computable function. Satisfiability.