模型计数竞赛 2021-2023 中的 SharpSAT-TD
人工智能
2023-08-31 v1
摘要
我们描述了 SharpSAT-TD，这是我们提交至 2021-2023 年模型计数竞赛无加权和加权赛道的方法，该竞赛中其总计获得不同赛道 个第一名。SharpSAT-TD 基于 SharpSAT [Thurley, SAT 2006]，主要新颖修改是在变量选择启发式中使用树分解，如作者在 [CP 2021] 中所引入。与 [CP 2021] 中评估的 SharpSAT-TD 版本不同，当前发布于 https://github.com/Laakeri/sharpsat-td 的版本相较于原始 SharpSAT 还具有其他显著修改，例如一个新的预处理器。
关键词
引用
@article{arxiv.2308.15819,
title = {SharpSAT-TD in Model Counting Competitions 2021-2023},
author = {Tuukka Korhonen and Matti Järvisalo},
journal= {arXiv preprint arXiv:2308.15819},
year = {2023}
}
备注
3 pages