研究室 · kenkyūshitsu
Laboratorio dei solver
Fai correre un puzzle nei nostri solver CDCL e DPLL in diverse modalità (euristiche di branching, politiche di riavvio, sussunzione) e confrontali con splr.
3 · Risultati 結果
Il tempo totale comprende codifica e risoluzione. Le soluzioni non connesse vengono confutate in modo pigro, ogni confutazione costa un’altra chiamata SAT.
Nessuna gara per ora. 待機中