Experiments of Multiple Decision Making in CDCL SAT Solvers
收藏NIAID Data Ecosystem2026-03-13 收录
下载链接：
https://zenodo.org/record/5018339
下载链接
链接失效反馈官方服务：
资源简介：
With these experiments (submission), we show that Multiple Decision Making (MDM) has a positive impact on CDCL, for many different SAT application problems when alternating between different decision queues and frequently running the WalkSAT strategy. Overall, MDM allowed the CDCL search to solve extra 10 formulas in the SAT competition 2020 benchmark set, and achieves a minimum PAR-2 score of 3,473 compared to the state of the art solver Kissat.
创建时间：
2022-05-14
