TY  - BOOK
TI  - Satisfied with Satisfiability? – A Note on the First NP-complete Problem
PB  - Philippine Computing Journal
KW  - Information Technology
N1  - August
ER  -