BriefGPT.xyz
Aug, 2023
2021-2023模型计数竞赛中的SharpSAT-TD
SharpSAT-TD in Model Counting Competitions 2021-2023
HTML
PDF
Tuukka Korhonen, Matti Järvisalo
TL;DR
SharpSAT-TD是我们在2021-2023年的模型计数竞赛中的获奖作品，它基于SharpSAT，主要的创新是使用了作者在CP 2021中介绍的变量选择启发式中的树分解方法，并且相比原始的SharpSAT还有其他重要的修改，例如新增了一个预处理器。
Abstract
We describe
sharpsat-td
, our submission to the unweighted and weighted tracks of the
model counting competition
in 2021-2023, which has won in total $6$ first places in different tracks of the competition.
→