SATLIB

SATLIB是一套基准问题,解决方案和工具,我们正在使用我们自己的SAT相关研究。创建SATLIB的一个强大动机是为SAT求解器提供统一的试验台,以及用于收集SAT问题实例、算法和算法性能的经验表征的站点。


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

显示结果1至20的57。
按年份排序(引文
  1. FelTy,艾米;MimigiLaNo,阿尔伯托;Pitka,汤屹云:包含绑定和假设上下文的语法树推理的基准(2018)
  2. 史米斯,Stephen L.;iMeSon,弗兰克:GLNS:广义旅行商问题的一个有效的大邻域搜索启发(2017)
  3. Sutcliffe,杰夫:TPTP问题库和相关基础设施。从CNF到TH0,TPTP V4.4.0(2017)
  4. 松崎、今间卓也、伊万奈、希多瑙、小林定人、Munehiro、湛、益阳、福卡萨库、Ryoya、库多、丘马、阿奈、Hirokazu、新井、Noriko H.:与青少年抗争——对大学前问题的机械化数学的标杆定位(2016)
  5. Toda,Takahisa;索赫,TuffEd:实现高效的所有解决方案SAT求解器(2016)
  6. Dilkina,比斯特拉;戈麦斯,Carla P.;萨巴瓦尔,亚希什:后门复杂性的可满足性权衡:动态子解决方案和搜索过程中的学习(2014)
  7. 树桩,亚伦;Sutcliffe,杰夫;Tinelli,Cease: StaseXEC:逻辑解决的跨社区基础设施(2014)伊波尔特
  8. 恩里克,处理硬件异质性:一个新的并行搜索模型(2013)伊波尔特
  9. 博泰夫峰,Zdravko I.;KROESE,Dirk P.:利用广义分裂方法进行有效的蒙特卡洛模拟(2012)
  10. Gorbenko,安娜;波波夫,弗拉迪米尔:最小视觉点集选择问题的计算实验(2012)
  11. 卡尔河,Fredrik;斯特兰德马克,Petter:广义屋顶二元性(2012)
  12. Zinin,M. V.:BiBasy,一个用于计算布尔对合和Grübn-基的约化和Maaulay2计算机代数系统的包(2012)
  13. Larrosa,哈维尔;Nieuwenhuis,罗伯特;奥利维拉斯,艾伯特;罗德里格斯-卡培尔,恩里克:一个证明布尔分支和边界优化的框架(2011)
  14. Masegosa,Antonio D.;Pelta,David A.;Gonz·阿兹,Juan R.:一次解决多个实例:搜索和适应的作用(2011)伊波尔特
  15. Quaresma,佩德罗:几何定理证明者的数千个几何问题(TGTP)(2011)
  16. 阿米尔,Eyal:树宽的近似算法(2010)
  17. Brickenstein,米迦勒;德雷尔,亚力山大:Pulbuli:Goobnar基的布尔多项式计算框架(2009)
  18. Brickenstein、米迦勒、德雷尔、亚力山大、格雷厄尔、Gert Martin、韦勒、Markus、Wienand、奥利弗:Grübnar基理论的新发展及其在形式验证中的应用(2009)
  19. Dilkina,比斯特拉;戈麦斯,Carla P.;萨巴瓦尔,亚希什:学习背景下的后门(2009)
  20. Kusper,G.Abor;C.Kee,Lajos:图着色和鸽子孔问题的更好的结果,使用DL(k)-文字表示(2009)