Revisi per 20 April 2021 13.14 sunting FenyMufyd (bicara \| kontrib) 1.124 suntingan k +Pranala dalam ; Wikisedaya 2021 Kelompok 2 Tag: Suntingan visualeditor-wikitext Tugas pengguna baru ← Revisi sebelumnya		Revisi per 24 Juni 2021 07.35 sunting balikkan InternetArchiveBot (bicara \| kontrib) Bot 695.977 suntingan Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.8 Revisi selanjutnya →
Baris 4: Teorema Cook-Levin atau dikenal juga dengan teorema Cook menyatakan bahwa: '''Problem satisfiabiity (SAT) adalah NP-complete'''<ref name="ww">[{{Cite web \|url=http://cfile7.uf.tistory.com/attach/20712D0C4B84A8003D040B] \|title=Salinan arsip \|access-date=2012-05-20 \|archive-date=2014-11-13 \|archive-url=https://web.archive.org/web/20141113045148/http://cfile7.uf.tistory.com/attach/20712D0C4B84A8003D040B \|dead-url=yes }}</ref> Terdapat 2 cara dalam pembuktian untuk teorema ini yaitu:

Teorema Cook: Perbedaan antara revisi