库布斯 swMATH编号： 9580 软件作者： 阿卜杜勒瓦赫卜·阿亚里；戴维·巴恩斯 描述： QUBOS：使用命题可满足性求解器确定量化布尔逻辑。我们描述了量化布尔逻辑的决策过程QUBOS（QUantified BOolean Solver）。该过程基于非子句简化技术，将公式简化为命题子句形式，然后可以使用非自助可满足性求解器。我们表明，对于某些表现出结构的畴，这种方法非常有效，并且我们报告了实验结果。 主页： http://link.springer.com/chapter/10.1007/3-540-36126-X_12 相关软件： Quaffle餐厅;semprop公司;尼诺菲克斯;Quantor公司;部门QBF;斯基佐;罕见的QS;布洛克;糠;sQueezeBF公司;QUBE公司;超小卫星;魁北克++;SATO公司;QESTO公司;CAQE公司;亚萨特;PicoSAT卫星;Velev SAT基准;萨托里 引用于： 24文件 全部的 前5名40位作者引用 6 马蒂娜·塞德尔 5 阿明·比尔 5 弗洛里安·朗辛 4 埃格利，乌韦 三 米科拉什·亚诺塔 三 Joáo P.塞尔瓦侯爵。 三 斯特凡·沃尔特兰 2 乌韦·布贝克 2 克拉克（Edmund Melson jun Clarke）。 2 达莫塔，贝诺特 2 汉斯·克莱恩·勃宁 2 威廉·克利伯 2 伊戈尔·斯特芬 2 斯泽德，斯特凡 2 汉斯·托姆皮茨 1 奥费尔·阿列利 1 阿亚里·阿卜杜勒瓦赫布 1 David A.Basin。 1 菲利普·贝斯纳德 1 布洛克，罗德里克 1 尼古拉斯·布劳德·桑托尼 1 莫里斯·布吕诺格 1 海宁·克里斯蒂安森 1 亨德里克·德克尔 1 马克·德内克 1 约翰·克劳斯·费希特 1 尤金·戈德伯格。 1 维达德·哈季奇 1 马里恩·赫勒。 1 托尼·尤西拉 1 Kröning，丹尼尔 1 Manolios，Panagiotis公司 1 戴维·马丁内吉 1 帕斯卡·尼古拉斯 1 马可·萨梅尔 1 托尔斯滕·绍布（Torsten H.Schaub）。 1 卡斯滕·辛兹 1 范·努费伦（Bert Van Nuffelen） 1 Christoph M.温特斯泰格。 1 迈克尔·佐尔达 全部的 前5名8篇连载文章中引用 2 自动推理杂志 2 系统设计中的形式化方法 1 人工智能 1 理论计算机科学 1 逻辑与计算杂志 1 数学与人工智能年鉴 1 约束条件 1 ACM计算逻辑事务 在2个字段中引用 24 计算机科学（68至XX） 8 数理逻辑与基础（03-XX） 按年份列出的引文