研究室 · kenkyūshitsu
Solverlab
Laat één puzzel racen door onze eigen CDCL- en DPLL-solvers in verschillende modi (vertakkingsheuristieken, herstartstrategieën, subsumptie) en vergelijk ze met splr.
3 · Resultaten 結果
De totale tijd is coderen plus oplossen. Niet-samenhangende oplossingen worden pas achteraf weerlegd, elke weerlegging kost nog een SAT-aanroep.
Nog geen race. 待機中