RSAT

RSAT是一个完整的布尔可满足性求解器,具有穷举的搜索接口,如模型计数和知识编译等应用。RSAT使用面向减少工作重复和频繁重启策略的相位选择启发式算法。有关RSAT的完整描述,请参阅论文列表。RSAT赢得了来自SAT 07年工业类竞赛的金牌。RSAT的前一版本也在SAT竞赛2006中获得第三名。RSAT是由加州大学洛杉矶分校自动推理组开发的。


ZBMaCT中的参考文献(21篇文章中引用)

显示结果1至20的21。
按年份排序(引文
  1. 克罗宁,丹尼尔;斯特里曼,Ofer:决策程序。算法的观点(2016)
  2. Dilkina,比斯特拉;戈麦斯,Carla P.;萨巴瓦尔,亚希什:后门复杂性的可满足性权衡:动态子解决方案和搜索过程中的学习(2014)
  3. 赫尔利,巴里;Kotthoff,拉尔斯;Malitsky,尤里;奥沙利文,Fiel: Proteus:解算器和变换的层次组合(2014)伊波尔特
  4. 巴雷特,克拉克;威慑,摩根;de Moura,列奥纳多;奥利维拉斯,艾伯特;残肢,亚伦:6年的SMT-COMP(2013)伊波尔特
  5. 郭,文胜;杨,Guo Wu;Hung,William N. N.;宋,Xiaoyu:基于局部搜索的完全布尔可满足性求解算法(2013)
  6. Lagniez,Jean Marie;BIEEL,Armin:分解加速MU提取的假设(2013)
  7. GGOATE,Vibhav;德切特,Rina:抽样研究:决定论存在下的重要性抽样(2011)
  8. KATBI,Hadi;Sakallah,Karem A.;Marques Silva,Jo.A.P.P.:现代SAT求解器的解剖学研究(2011)
  9. Kroc,卢卡斯;Sabharwal,亚希什;Selman,巴特:利用信仰传播、回溯搜索和统计模型统计(2011)
  10. PiPasrasaWAT,结;达尔维奇,Adnan:关于子句学习的能力——SAT求解器作为解决引擎(2011)
  11. BrMayer-ER,罗伯特;Lonsing,弗洛里安;Bieor,Armin:SAT和QBF求解器的自动化测试和调试(2010)
  12. Kilani,YouSEF:通过替换DLM禁忌搜索和增强最佳成员来改进GASAT(2010)伊波尔特
  13. PiPasrasaWAT,结;达尔维奇,Adnan:现代子句学习可满足性求解器(2010)伊波尔特
  14. 斯特姆,托马斯;Zengler,克里斯托夫:参数量化SAT求解(2010)
  15. Atserias,艾伯特;费希特,Johannes Klaus;Turle,贾景晖:具有多重启和有界宽度分解的子句学习算法(2009)
  16. Brimayer-罗伯特,Bieer-Amiin:关于阵列延伸理论的引理(2009)
  17. Chieu,H. L.;Lee,W. S.:加权最大可满足性问题的松弛调查传播(2009)
  18. 波尔多,L.;Hamadi,Y.;Jabbour,S;SAIS,L:一个通用的冲突分析框架(2008)
  19. Biere,Armin:PicoSAT要领(2008)
  20. Biere,Armin:冲突驱动SAT求解器的自适应重启策略(2008)

进一步的出版物可以在:HTTP://RealthC.C.UCLA.EDU/RSAT/PICS.HTML