研究室 · kenkyūshitsu
Laboratório de solvers
Coloque um puzzle para correr nos nossos solvers CDCL e DPLL em modos diferentes (heurísticas de ramificação, políticas de reinício, subsunção) e compare com o splr.
3 · Resultados 結果
O tempo total é codificação mais resolução. Soluções desconexas são refutadas sob demanda, e cada refutação custa outra chamada SAT.
Nenhuma corrida ainda. 待機中