SharpSAT-TD是2021-2023年模型计数竞赛的获奖作品，基于SharpSAT，使用了CP 2021中介绍的变量选择启发式中的树分解方法，并新增了一个预处理器。

2021-2023 模型计数竞赛中的 SharpSAT-TD
BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 ·
👤 个人中心
在公众号发送验证码完成验证