000 00351nam a2200121Ia 4500
008 170224s9999 xx 000 0 und d
245 _aSatisfied with Satisfiability? – A Note on the First NP-complete Problem
260 _bPhilippine Computing Journal
260 _c2012
300 _aVII:1
500 _aAugust
650 _xInformation Technology
999 _c315859
_d315859