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