@book{315859,
	title = {Satisfied with Satisfiability? – A Note on the First NP-complete Problem},
	publisher = {Philippine Computing Journal},
	note = {August}
}