00320nam a2200109Ia 4500008004100000245007900041260003300120260000900153300001000162500001100172650002700183170224s9999    xx            000 0 und d  aSatisfied with Satisfiability? – A Note on the First NP-complete Problem  bPhilippine Computing Journal  c2012  aVII:1  aAugust  xInformation Technology