斯普拉茨

这是SAT解算器Splatz。这是对《徘徊》中使用的一些想法的重新实现,但基于我们15年SAT和POS'15论文的最新见解。进程内技术的列表要小得多,因此在许多基准测试中,延滞是优越的。这个解算器接受更多的子句和变量,尽管如此,它有更好的文档记录,并且尝试更容易扩展。与lingling相反,它是用C++而不是C实现的,而且还没有API。所有数据结构都是静态分配的。


zbMATH中的参考文献(参考文献11条)

显示结果1到11,共11个。
按年份排序(引用)

  1. 朱蒂拉,汤米;卡帕,马蒂;卡斯基,佩特里;Kohonen,Jukka:对称性缩减的自适应前缀分配技术(2020)
  2. 考夫曼,丹妮拉;贝尔,阿明;Kauers,Manuel:使用计算机代数对算术电路进行增量列式验证(2020)
  3. 李楚民;萧,范;罗、毛;很多,费利普;吕志鹏;Li,Yu:CDCL SAT solvers中的单元传播的条款生动化(2020)
  4. 瓦莱德,文森特;勒弗里奥,卢多维奇;巴力,苏黑卜;索皮娜,朱利安;加内什,维杰;Kordon,Fabrice:并行SAT解决的基于社区和LBD的条款共享策略(2020)
  5. 贝勒,叶夫根尼娅·根纳德耶夫纳;Semënov,Aleksandr Anatol'evich:有限集中对象可分辨性的命题编码技术(2019)
  6. 托内洛,Elisa;法科特,艾蒂安;Chaouiya,Claudine:布尔网络中的局部负电路和循环吸引子(2019)
  7. 鲍德贝希尔,纪尧姆;吉尔德兹克鲁,杰斯;Simon,Laurent:关于有界模型检验SAT问题的社区结构(2017)
  8. 海提宁,安蒂;普利斯,谢尔盖;马尔维萨洛,马蒂;埃伯哈特,弗雷德里克;Danks,David:从次抽样时间序列数据中发现因果关系的约束优化方法(2017)
  9. 朱蒂拉,汤米;卡帕,马蒂;卡斯基,佩特里;Kohonen,Jukka:对称性缩减的自适应前缀分配技术(2017)
  10. 内贾提,赛义德;纽瑟姆,扎克;斯科特,约瑟夫;梁家辉;盖博蒂,凯瑟琳;帕斯卡,波帕斯特;Ganesh,Vijay:一种基于传播速率的分裂启发式算法(2017)
  11. 尼美兹,艾娜;普雷纳,马蒂亚斯;Biere,Armin:位精确推理的基于传播的局部搜索(2017)