研究室 · kenkyūshitsu
Lab solver
Adu satu teka-teki di solver CDCL dan DPLL buatan kami dalam berbagai mode (heuristik percabangan, kebijakan restart, subsumsi) dan bandingkan dengan splr.
3 · Hasil 結果
Total waktu adalah pengodean ditambah pemecahan. Solusi yang tidak terhubung disanggah secara lazy, dan setiap sanggahan butuh satu panggilan SAT lagi.
Belum ada lomba. 待機中