2021-2023年模型计数竞赛中的SharpSAT-TD
摘要：SharpSAT-TD：Model Counting竞赛2021-2023年不加权和加权赛道的优胜参赛作品。在比赛的不同赛道中，SharpSAT-TD共获得了6个第一名。SharpSAT-TD基于SharpSAT [Thurley, SAT 2006]，主要的新颖修改是在变量选择启发式中使用了树分解技术，该技术由作者在[CP 2021]中引入。与[CP 2021]中评估的SharpSAT-TD版本不同，当前版本在https://github.com/Laakeri/sharpsat-td上还具有与原始SharpSAT相比的其他重要修改，例如新的预处理器。
作者：Tuukka Korhonen, Matti J"arvisalo
论文ID：2308.15819
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-08-31