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

Bibliographic Details
Published in:	Philippine computing journal 7, 1 (2012(Ag)).
Main Author:	Vergara, John Paul C.
Format:	Article
Language:	English
Subjects:	Non-deterministic polynomial time. Polynomial time. Cook's Theorem.