Satisfied with Satisfiability-A Note on the First NP-complete Problem

Bibliografiske detaljer
Udgivet i:	Philippine computing journal 7, 1 (2012(Ag)).
Hovedforfatter:	Vergara, John Paul C.
Format:	Article
Sprog:	English
Fag:	Non-deterministic polynomial time. Polynomial time. Cook's Theorem.