卫星卫星

RSat是一个完整的布尔可满足性求解器,它具有详尽的搜索接口,可用于模型计算和知识编辑等应用。RSat使用了一种面向减少重复工作和频繁重启策略的阶段选择启发式方法。有关RSat的完整描述,请参阅论文列表。RSat在2007年SAT工业类竞赛中获得金牌。上一个版本的卫星卫星也获得了第三名的卫星2006年比赛。RSat由加州大学洛杉矶分校自动推理小组开发。


zbMATH参考文献(参考 22篇文章

显示第1到第20个结果,共22个。
按年份排序(引用)
  1. 丹尼尔·克罗宁;奥弗·斯特里奇曼:决策程序。算法观点(2016)
  2. 唐纳德·洛夫兰(Loveland)、阿什什(Ashish)萨哈瓦尔(Sabharwal)、巴特塞尔曼(Selman):DPLL:现代可满足性求解者的核心(2016)
  3. Dilkina,Bistra;Gomes,Carla P.;Sabharwal,Ashish:从后门到满足的复杂性权衡:动态子解算器和搜索过程中的学习(2014)
  4. 巴里•赫尔利;拉尔斯•科特霍夫;尤里•马利茨基;巴里•奥沙利文:求解器和转换的层级组合(2014)ioport公司
  5. 阿伦·德拉斯穆特(Albert-Clark)2013;奥伦纳德·德斯姆普(Albert-de-Ras);奥伦纳德·德斯姆普(Albert-de-Ras);奥伦纳德·德斯姆普(Albert-de-Stump);奥伦纳德·德·斯姆普(Albert-ioport公司
  6. 郭文胜;杨国武;洪威廉N.N.;宋晓宇:基于局部搜索的完全布尔可满足性求解算法(2013)
  7. Lagniez,Jean-Marie;Biere,Armin:分解假设以加快MUS提取(2013)
  8. Gogate,Vibhav;Dechter,Rina:SampleSearch:决定论存在下的重要性抽样(2011)
  9. Katebi,Hadi;Sakallah,Karem A.;Marques Silva,JoãP.:现代SAT解算器解剖学的实证研究(2011)
  10. Kroc,Lukas;Sabharwal,Ashish;Selman,Bart:利用信念传播、回溯搜索和统计数据进行模型计数(2011)
  11. Pipatsrisawat,Knot;Darwiche,Adnan:论子句学习SAT解算器作为解析引擎的力量(2011)
  12. Brummayer,Robert;Lonsing,Florian;Biere,Armin:SAT和QBF解算器的自动化测试和调试(2010)
  13. 基拉尼,尤瑟夫:通过用DLM取代禁忌搜索来改进GASAT并增强最佳成员(2010)ioport公司
  14. Pipatsrisawat,Knot;Darwiche,Adnan:论现代从句学习可满足性求解器(2010)ioport公司
  15. Sturm,Thomas;Zengler,Christoph:参数量化SAT求解(2010)
  16. Atserias,Albert;Fichte,Johannes Klaus;Thurley,Marc:具有多次重新启动和有限宽度分辨率的子句学习算法(2009)
  17. Brummayer,Robert;Biere,Armin:数组扩展理论的需求引理(2009)
  18. Chieu,H.L.;Lee,W.S.:加权最大可满足性问题的松弛调查传播(2009)
  19. Audemard,G.;Bordeaux,L.;Hamadi,Y.;Jabbour,S.;Sais,L.:冲突分析的一般框架(2008)
  20. Biere,Armin:PicoSAT essentials(2008年)

更多出版物请访问:http://reasoning.cs.ucla.edu/rsat/papers.html