库贝++

本文描述了量化布尔公式(QBFs)的高效求解器qbe++。就我们所知,QuBE++是第一个QBF推理引擎,它使用惰性数据结构进行单位子句传播和纯文本检测。QuBE++还具有非时间回溯和分支启发式,利用回溯阶段收集的信息。由于这些技术和精心的实现,QuBE++是一个高效和健壮的求解器,其性能超过了其他最先进的QBF引擎,并且可以与SAT实例上现有的最好的引擎相媲美。


zbMATH中的参考文献(参考文献27条,1标准件)

显示第1到第20个结果,共27个。
按年份排序(引用)
  1. Mahajan,Meena:QBF证明系统的下限技术(2018)
  2. 巴尼耶夫,巴尼耶夫;蒋洁红罗兰;斯科尔,克里斯托夫;米什琴科,艾伦;Brayton,Robert K.:2QBF:挑战与解决方案(2016)
  3. 库克,拜伦;丹尼尔·克罗宁;吕默,菲利普;Wintersteiger,Christoph M.:位向量关系的排序函数综合(2013)
  4. 苏卫华;明浩,阴;王建安;周俊平:用更多推理解决QBF的消息传递算法(2013)
  5. 温特施泰格,克里斯托夫M。;哈马迪,优素福;De Moura,Leonardo:高效求解量化比特向量公式(2013)
  6. 艾里纳基斯,帕夫洛斯;萨尔瓦托雷鲁吉里;苏布拉曼尼,K。;Wojciechowski,Piotr:参数化线性约束的蕴涵复杂性透视(2012)
  7. 雅诺塔,米科拉什;克利伯,威廉;席尔瓦侯爵,乔奥;克拉克,埃德蒙:用反例引导的精化解决QBF(2012)
  8. 布里海伊,托马斯;布鲁伊埃,维罗尼克;多恩,劳伦特;杜科布,马克;Raskin,Jean-Francois:基于反链的QBF求解(2011)
  9. 雅诺塔,米科拉什;Marques Silva,Joao:2QBF的基于抽象的算法(2011)
  10. 布鲁迈尔,罗伯特;洛辛,弗洛里安;Biere,Armin:SAT和QBF解算器的自动化测试和调试(2010)
  11. 库克,拜伦;丹尼尔·克罗宁;吕默,菲利普;Wintersteiger,Christoph M.:位向量关系的排序函数综合(2010)
  12. 普利纳,卢卡;塔切拉,阿曼多:QBF编码的实证研究:从树型估计到有用的预处理(2010)
  13. 古尔提耶娃,亚历山德拉;艾弗森,维基;Bacchus,Fahiem:Beyond CNF:基于电路的QBF解算器(2009)
  14. 刘易斯,马修;马林,保罗;舒伯特,托比亚斯;纳里扎诺,马西莫;贝克,伯纳德;Giunchiglia,Enrico:PaQuBE:具有高级知识共享的分布式QBF解决方案(2009)IO端口
  15. 洛辛,弗洛里安;Biere,Armin:QBFs中句法依赖的紧凑表示(2009)
  16. 纳里扎诺,马西莫;佩斯切拉,克劳迪娅;普利纳,卢卡;塔切拉,阿曼多:评估和认证QBFs:最新工具的比较(2009)
  17. 尤西拉,托尼;Biere,Armin:用QBF压缩BMC编码(2007)
  18. 阿里埃利,奥弗;Denecker,马克;范努芬,伯特;Bruynooghe,Maurice:用符号公式修复数据库的计算方法(2006)
  19. 朱西格里亚,E。;纳里扎诺,M。;Tachella,A.:量化布尔公式评估中的子句/术语解析和学习(2006)
  20. 阿鲁尔,拉吉耶夫;马杜苏丹,P。;Nam,Wonhong:求解博弈的符号计算技术(2005)IO端口

更多出版物请访问:http://www.star.dist.unige.it/index.php?option=com帴jombib&Itemid=42