皮科萨

PicoSAT精华。我们描述和评估用于观察文字的优化紧凑数据结构。用我们的SAT解算器PicoSAT进行的实验表明,这种低层次的优化不仅节省了内存,而且还大大加快了SAT解算器的速度。我们还讨论了如何在内存中紧凑地存储证明痕迹,以及PicoSAT的进一步独特功能,包括积极的重新启动计划。


zbMATH中的参考文献(参考文献80篇文章,1标准件)

显示第1到第20个结果,共80个。
按年份排序(引用)
  1. 罗查,蒂亚戈·阿尔维斯;马丁斯,安娜·特雷莎;Ferreira,Francicleber Martins:基于EF游戏和SAT的不一致字符串样本合成无量词DNF句子(2020)
  2. 罗查,蒂亚戈·阿尔维斯;马丁斯,安娜·特雷莎;Ferreira,Francicleber Martins:使用Ehrenfeucht-Fraïsségames从字符串样本合成DNF公式(2020)
  3. Scheucher,Manfred:点集中的两个不相交的5孔(2020)
  4. 舒尔茨,斯蒂芬;克鲁恩斯,西蒙;Vukmirović,Petar:更快、更高、更强:E2.3(2019年)
  5. 席尔瓦侯爵,乔奥;Malik,Sharad:命题SAT解决(2018)
  6. 斯莱尼,约翰;Woltzenlogel Paleo,Bruno:冲突解决:一阶决策文本和冲突驱动从句学习的解决演算(2018)
  7. 伊格纳蒂耶夫,亚历克赛;莫加多,安东尼奥;马奎斯·席尔瓦(Marques Silva),乔奥(Joao):《论SAT解决中解决分辨率的限制》(2017)
  8. 席尔瓦侯爵,乔奥;雅诺塔,米科拉什;Carlos,Mencia:命题公式的极小集。问题与削减(2017)
  9. 施拉梅尔,彼得;丹尼尔·克罗宁;布莱恩,马丁;马丁斯,鲁本;泰格,蒂诺;Bienemüller,Tom:嵌入式软件的增量有界模型检查(2017)
  10. 威克森,约翰;巴蒂,马克;索伦森,泰勒;Constantinides,George A.:自动比较内存一致性模型(2017)
  11. 巴约,汤姆訙;Florian Lonsing:Hordeqbf:模块化大规模并行QBF解算器(2016)
  12. 布鲁托,劳伦特;弗罗伊斯,文森特;哈通,塞普;Niedermeier,Rolf:最大范数下的共聚类(2016)
  13. Färber,迈克尔;乍得布朗:Satallax内部指南(2016年)
  14. 海勒,玛丽安·J·H。;奥利弗·库尔曼;Marek,Victor W.:通过立方体和征服解决和验证布尔毕达哥拉斯三元组问题(2016)
  15. 哈西达什维利,祖拉布;Korovin,Konstantin:一阶定理证明中用于预处理的谓词消除(2016)
  16. KhudaBukhsh,阿希古尔。;徐林;霍斯,霍尔格H。;Leyton Brown,Kevin:SATenstein:从组件自动构建本地搜索SAT解算器(2016)
  17. 丹尼尔·克罗宁;斯特里奇曼:决策程序。算法观点(2016)
  18. 洛辛,弗洛里安;埃格利,乌韦;Seidl,Martina:具有广义公理的Q-分解(2016)
  19. 马克拉布。;Seshia,Sanjit A.:增量确定(2016)
  20. 施莱普费尔,马提亚斯;Weissenbacher,Georg:用于超分辨率、子句和局部证明的标记插值系统(2016)

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