C A D I C A L, K ISSAT , P ARACOOBA Entering the SAT Competition 2021
C A D I C A L, K ISSAT , P ARACOOBA Entering the SAT Competition 2021
复制标题
CADICAL、KISSAT、PARACOOBA 参加 2021 年 SAT 比赛
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Maximilian Heisinger
中科院分区：
文献类型：
--
作者：
Armin Biere;M. Fleury;Maximilian Heisinger
-本系统描述描述了向主轨道提交的顺序SAT解算器C A D I C A L和K ISSAT的更新，以及向云轨道提交的分布式立方征服解算器P ARACOOBA的更新。
—This system description describes updates to our sequential SAT solvers C A D I C A L and K ISSAT submitted to the main track as well as updates to our distributed cube-and-conquer solver P ARACOOBA submitted to the cloud track.