预卫星

precoat使用麻省理工学院风格的许可证。本质上,只要在源代码中确认软件的来源,就可以随意使用和修改源代码。可以在源代码附带的许可证文件中找到更多详细信息。没有担保。背景:2009年SAT竞赛的系统描述部分描述了Precoat背后的思想。SAT是经典的NP完全问题,它是在合取范式(CNF)中寻找命题公式的满意赋值。《可满足性手册》对该领域的理论和实践方面进行了极好的概述。有关SAT的更多信息,请访问www.satlive.org或www.satlib.org。我们最近也有一些关于SAT的论文,主要集中在实际的SAT解决上。在我们的软件页面上,您可以找到我们小组早期的SAT解算器和相关工具。


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

显示第1至18个结果,共18个。
按年份排序(引用)

  1. 李楚民;萧,范;罗、毛;很多,费利普;吕志鹏;Li,Yu:CDCL SAT solvers中的单元传播的条款生动化(2020)
  2. 恩戈科,亚尼克;塞林,克里斯托夫;Denis Trystram:在分布式云中解决SAT:投资组合方法(2019)
  3. 林道尔,马吕斯;霍斯,霍尔格;凯文·莱顿·布朗;Schaub,Torsten:通过算法配置自动构建平行投资组合(2017)
  4. 威克森,约翰;巴蒂,马克;索伦森,泰勒;Constantinides,George A.:自动比较内存一致性模型(2017)
  5. 梁家辉;加内什,维杰;帕斯卡,波帕斯特;Czarnecki,Krzysztof:SAT解算器基于学习速率的分支启发式(2016)
  6. Philipp,Tobias:基于实例分解的并行SAT解算器的表达模型(2015)
  7. 贝洛夫,安东;莫加多,安托尼奥;Marques Silva,Joao:MaxSAT基于卫星的预处理(2013)
  8. 法格伯格,罗尔夫;弗拉姆,克里斯托弗;默克尔,丹尼尔;彼得斯,菲利普;Stadler,Peter F.:论重建化学反应网络的复杂性(2013)
  9. 曼蒂,诺伯特;菲利浦,托比亚斯;解决方案共享条款(Wernhard,2013年)
  10. 莫拉维茨基,帕维;Srebrny,Marian:基于SAT的简化\textsckeccachash函数的预图像分析(2013)
  11. 阿比奥,伊格纳西;尼尤文胡斯,罗伯特;奥利维拉斯,阿尔伯特;罗德里格斯·卡博内尔,恩里克;Mayer Eichberger,Valentin:伪布尔约束BDD的新视角(2012)
  12. 科迪什,迈克尔;吉尔根,吉尔根;施耐德·坎普,彼得;Thiemann,René:带有递归路径序和依赖对的终止证明的SAT求解(2012)
  13. 马尔维萨洛,马蒂;卡斯基,佩特里;科伊维斯托,米科;Korhonen,Janne H.:寻找集成计算的有效电路(2012)
  14. 马丁斯,鲁本;曼奎诺,瓦斯科;林奇,Inès:并行SAT求解概述(2012)
  15. 阿森,罗伯托;尼尤文胡斯,罗伯特;奥利维拉斯,阿尔伯特;Rodríguez Carbonell,Enric:基数网络:理论与实证研究(2011)
  16. 海勒,玛丽安J。H、 。;马尔维萨洛,马蒂;Biere,Armin:基于二元蕴涵图的有效CNF简化(2011)
  17. 伊格纳蒂耶夫,亚历克赛;Semenov,Alexander:DPLL+Robd推导应用于某些密码函数的反演(2011)
  18. Hyvärinen,Antti E。J、 。;朱蒂拉,汤米;Niemelä,Ilkka:为分布式解决划分SAT实例(2010)


更多出版物请访问:http://fmv.jku.at/papers/index.html