研究室 · kenkyūshitsu
Labo de solveurs
Fais courir une grille dans nos solveurs CDCL et DPLL maison selon différents modes (heuristiques de branchement, politiques de redémarrage, subsomption) et compare-les à splr.
3 · Résultats 結果
Le temps total comprend l’encodage et la résolution. Les solutions non connexes sont réfutées paresseusement, chaque réfutation coûte un appel SAT de plus.
Pas encore de course. 待機中