Mengapa Komputer Modern Menyelesaikan Masalah NP-Complete yang Seharusnya Meledak secara Eksponensial dalam Hitungan Detik: Solver SAT, CDCL, dan Transisi Fase
