夸夫尔

Quaffle:带学习功能的量化布尔公式求值器是一个实验性的QBF解算器。该求解器的思想在以下两篇论文中进行了描述:L.Zhang和S.Malik,“量化布尔可满足性求解器中冲突与满足的对称处理”,《第八届约束规划原理与实践国际会议论文集》(CP2002)。纽约州伊萨卡,2002年9月。[PDF]张立军,马立克,“量化布尔可满足性求解器中的冲突驱动学习”,计算机辅助设计国际会议论文集(ICCAD2002),加利福尼亚州圣何塞,2002年11月。[PDF]Quaffle的源代码可以在这里下载。请阅读每个文件顶部的许可协议。该代码是实验性的,仅用于算法评估。它应该在大多数Unix/Linux机器上使用g++编译。Quaffle与其他两个最先进的QBF解算器qbe和Semprop的运行时比较在这里提供。基准是从QBFLib获得的。实验是在一台带有1133Mhz PIII CPU和1G内存的Dell PowerEdge 1500sc上进行的。超时限制为600秒。


zbMATH参考文献(参考 63篇文章 参考)

显示第1到第20个结果,共63个。
按年份排序(引用)
  1. Beyersdorff,Olaf;Chew,Leroy;Sreenivasaiah,Karteek:A game Characterization of tree-like Q-resolution size(2019年)
  2. Peitl,Tomš;Slivovsky,Friedrich;Szeider,Stefan:带依赖方案的长距离Q-分辨率(2019)
  3. Pulina,Luca;Seidl,Martina:2016和2017 QBF solvers评估(QbEval'16和QBFEVAL'17)(2019年)
  4. Mahajan,Meena:QBF证明系统的下限技术(2018)
  5. Beyersdorff,Olaf;Chew,Leroy;Mahajan,Meena;Shukla,Anil:QBF分辨率计算的可行插值(2017)
  6. Balyo,Tomš;Lonsing,Florian:Hordeqbf:模块化和大规模并行QBF解算器(2016)
  7. Beyersdorff,Olaf;Chew,Leroy;Schmidt,Renate A.;Suda,Martin:将QBF分辨率计算提升到DQBF(2016)
  8. Egly,Uwe:关于qbfs的更强计算(2016)
  9. Ignatiev,Alexey;Janota,Mikolš;Marques Silva,Joao:量化最大满意度(2016)
  10. Janota,Mikoláš:关于Q-分辨率和CDCL QBF解决(2016)
  11. Janota,Mikoláš;Klieber,William;Marques Silva,Joao;Clarke,Edmund:用反例引导的改进解决QBF(2016)
  12. Florian Lonsing;Egly,Uwe;Seidl,Martina:广义公理的Q-分解(2016)
  13. 弗洛里安,朗辛;塞德尔,玛蒂娜;范盖德,艾伦:QBF画廊:幕后(2016)
  14. Peitl,Tomš;Slivovsky,Friedrich;Szeider,Stefan:依赖方案的长距离Q-分辨率(2016)
  15. Beyersdorff,Olaf;Chew,Leroy;Mahajan,Meena;Shukla,Anil:QBF分辨率计算的可行插值(2015)
  16. Janota,Mikoláš;Marques Silva,Joao:基于扩展的QBF解决方案与Q-解决方案(2015)
  17. 屠光华;徐子建;蒋洁红R.:QELL:QBF推理与扩展小句学习和水平化SAT解决(2015)
  18. Balabanov,Valeriy;Jiang,Jie Hong R.:统一QBF认证及其应用(2012)
  19. Goldberg,Eugene;Manolios,Panagiotis:基于边界点消除的SAT求解(2011)
  20. Brummayer,Robert;Lonsing,Florian;Biere,Armin:SAT和QBF解算器的自动化测试和调试(2010)