萨蒂克斯

SatEx:一个基于Web的SAT实验框架。SATEX是一个专门用于SAT实验的网站。它不仅是一个前端收集一个详尽的执行数,但它也允许动态结果合成以及详细的实验结果的探索。动态生成和不断更新和改进,这个站点可以被认为是一个几乎总是最新的SAT实验论文。到目前为止,SatEx在最近的机器上显示了超过450个CPU日的结果。几个月后,这个网站受到了SAT社区的好评,点击率达到了20000以上。SATEX站点可在HTTP://www. LRI.FR/西蒙/ SATEX/SpEXE.PHP3.


ZBMaX中的参考文献(15篇)1标准条款

显示结果1至15的15。
按年份排序(引文

  1. 巴林特,阿德里安;Belov,Anton;J·拉维萨洛,Matti;辛茨,卡斯滕:SAT挑战赛2012解决方案竞赛的概述和分析(2015)伊波尔特
  2. 树桩,亚伦;Sutcliffe,杰夫;Tinelli,Cease: StaseXEC:逻辑解决的跨社区基础设施(2014)伊波尔特
  3. Bougeret,Marin;DutoT,Pierre Fran·Sooi;戈德曼,阿尔弗雷多;恩戈科,亚尼克;TryStrum,丹尼斯:近似离散资源共享调度问题(2011)
  4. 哈特,弗兰克;HoOS,Holger H.;Leyton Brown,凯文:竞争性算法设计经验评估中的折衷(2010)伊波尔特
  5. 彼得里克,马立克;齐尔伯斯坦,什洛莫:学习并行的算法组合(2006)
  6. BrgLez,Frangc;李,小宇;Stallmann,Matthias F.:SAT实例类和SAT求解器的可靠性能实验方法(2005)
  7. 赫希,Edward A.;Kojevnikov,ARIST:UNITHACKE:一种新的SAT求解器,它使用单位子句消去法指导的局部搜索(2005)
  8. Jurkoiak,伯纳德;李,Chu Min;UTARD,吉尔:一类基于工作窃取的并行SAT求解器方案(2005)
  9. 勒伯雷,丹尼尔;西蒙,劳伦特:温哥华的五十五个解决方案:SAT 2004竞争(2005)
  10. 西蒙,劳伦特;伯雷,丹尼尔;赫希,Edward A.:SAT2002竞赛(2005)伊波尔特
  11. 勒贝里,丹尼尔;西蒙,劳伦特:SAT 2003竞赛的要点(2004)
  12. 勒贝里,丹尼尔;西蒙,劳伦特;塔切拉,阿曼多:QBF竞技场的挑战:QBF求解器的SAT 03评价(2004)
  13. 李,Chu Min:DLL过程中的等效文字传播(2003)
  14. 勒伯雷,丹尼尔:利用单位传播的实际力量展望(2001)
  15. 西蒙,劳伦特;Calalic,菲利普:SatEx:一个基于Web的SAT实验框架(2001)