魁北克++ swMATH ID: 766 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·纳里扎诺；阿曼多·塔切拉 描述： 本文描述了量化布尔公式（QBFs）的高效求解器QuBE++。据我们所知，QuBE++是第一个使用惰性数据结构进行单位子句传播和纯文本检测的QBF推理引擎。QuBE++还具有非时间回溯和利用回溯阶段收集的信息的分支启发式。由于这些技术和仔细的实现，QuBE++是一个高效且健壮的解算器，其性能超过了其他最先进的QBF引擎，并且可以与SAT实例上当前可用的最佳引擎相媲美。 主页： http://rd.springer.com/chapter/10.1007%2F978-3-540-30494-4_15 相关软件： QUBE公司；Quaffle餐厅；超小卫星；糠；斯基佐；Quantor公司；罕见的QS；库布斯；QBFLIB公司；semprop公司；部门QBF；布洛克；陆军装备司令部；SMT-LIB公司；圆圈Qit2；sQueezeBF公司；摩卡；CAQE公司；QESTO公司；PolyLib公司 引用于： 24文件 更多出版物： http://www.star.dist.unige.it/index.php？option=com_jombib&Itemid=42 标准条款 1出版物描述软件，包括1出版物在zbMATH中 年份 QuBE++：一个高效的QBF解算器。 Zbl 1117.68488号恩里科·金西格里亚；马西莫·纳里扎诺；阿曼多·塔切拉 2004 全部的 前5名49位作者引用 7 阿曼多·塔切拉 6 马西莫·纳里扎诺 5 恩里科·金西格里亚 三 阿明·比尔 三 Christoph M.温特斯泰格。 2 拜伦·库克 2 米科拉什·亚诺塔 2 丹尼尔·科宁 2 弗洛里安·朗辛 2 Joáo P.塞尔瓦侯爵。 2 卢卡·普利纳 2 菲利普·吕默 1 奥费尔·阿列利 1 法希姆·巴克斯 1 瓦莱里·巴拉巴诺夫 1 马可·贝内德蒂（Marco H.Benedetti）。 1 罗伯特·K·布雷顿。 1 托马斯·布里海耶 1 罗伯特·布鲁迈耶 1 布鲁耶尔，Véronique 1 莫里斯·布吕诺格 1 克拉克（Edmund Melson jun Clarke）。 1 莱昂纳多·德·莫拉 1 马克·德内克 1 劳伦特·多恩 1 马克·杜科布 1 埃格利，乌韦 1 帕夫洛斯·艾里纳基斯 1 亚历山大·古提亚耶娃 1 尤塞夫·哈马迪 1 维姬·艾弗森 1 王建安 1 蒋洁红·罗兰 1 周俊平 1 托尼·尤西拉 1 威廉·克利伯 1 米纳·马哈扬 1 尹明浩 1 阿兰·米什琴科 1 克劳迪娅·佩希埃拉 1 莱因哈德·皮克勒 1 让-弗朗索瓦·拉斯金 1 萨尔瓦多鲁杰里 1 克里斯托夫·斯科尔 1 克里希纳·苏布拉马尼 1 范·努费伦（Bert Van Nuffelen） 1 苏伟华 1 Piotr J.沃伊切霍夫斯基。 1 斯特凡·沃尔特兰 全部的 前5名8篇连载文章中引用 2 系统设计中的形式化方法 2 数学与人工智能年鉴 1 人工智能 1 人工智能通信 1 人工智能研究杂志 1 约束条件 1 工程中的数学问题 1 计算机基础理论 在4个字段中引用 23 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 1 信息和通信理论，电路（94-XX） 按年份列出的引文