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

书目详细资料
主要作者:	Vergara, John Paul C.
格式:	Analytics
语言:	英语
主题:	Computer-Periodicals. Non-deterministic turing machine computation. Turing-computable function. Satisfiability.