研究室 · kenkyūshitsu
Лабораторія розв’язувачів
Прожени одну головоломку через наші розв’язувачі CDCL і DPLL у різних режимах (евристики розгалуження, політики перезапусків, поглинання) та порівняй їх зі splr.
3 · Результати 結果
Загальний час — кодування плюс розв’язання. Незв’язні розв’язки відкидаються ліниво, кожне відкидання коштує ще одного виклику SAT.
Перегонів ще не було. 待機中