AIG溶剂 swMATH ID: 25923 软件作者： Scholl，C.，Pigorsch，F。 描述： QBF解算器AIGSolve。AIGSolve是一种基于与转换图（AIG）的基于重写的解算器。在这种方法中，从最内部的量词开始，量词被删除。中间结果用AIG符号表示[22，23]。基本方法包括基于协因子的量词消除，其与多种优化方法相结合，包括表示的基于SAT和BDD的压缩、基于增量SAT的预处理QBF公式的方法、交换相同级别的量词的启发式方法，使用基于BDD的量词消除作为替代方法的启发式方法，以及对已处理实例的结构提取和结构利用 主页： http://ceur-ws.org/Vol-1719/paper5.pdf 相关软件： CAQE公司；罕见的QS；QESTO公司；semprop公司；剪影；sQueezeBF公司；HQSpre公司；QBFEVAL公司；MPI部门QBF；霍德QBF；HordeSat卫星；部门QBF；布洛克；StarExec公司；Quaffle餐厅；威卡；尼诺菲克斯 引用于： 2文件 5位作者引用 1 汤姆·佩特尔 1 卢卡·普利纳 1 马蒂娜·塞德尔 1 弗里德里希·斯利沃夫斯基 1 斯泽德，斯特凡 连载1篇 1 人工智能 在2个字段中引用 2 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 按年份列出的引文