BriefGPT - AI 论文速递
·
2021-2023 模型计数竞赛中的 SharpSAT-TD
💡
原文中文，约200字，阅读约需1分钟。
📝
内容提要
SharpSAT-TD是2021-2023年模型计数竞赛的获奖作品，基于SharpSAT，使用了CP 2021中介绍的变量选择启发式中的树分解方法，并新增了一个预处理器。
🎯
关键要点
- SharpSAT-TD 是 2021-2023 年模型计数竞赛的获奖作品。
- SharpSAT-TD 基于 SharpSAT。
- 主要创新是使用了树分解方法的变量选择启发式。
- 该方法在 CP 2021 中被介绍。
- 相比原始的 SharpSAT，SharpSAT-TD 还有其他重要修改。
- 新增了一个预处理器。
🏷️
标签
➡️
