1the satisfiability problemcook s theorem an np complete pr published presentations and documents on DocSlides.