QuteSAT公司 swMATH ID: 11382 软件作者: Wu,C.A.,Lin,T.H.,Lee,C.C.,Huang,C.Y。 描述: QuteSAT:一种用于复杂电路结构的基于电路的稳健SAT求解器。我们提出了一个鲁棒的基于电路的布尔可满足性(SAT)求解器QuteSAT,它可以应用于复杂的电路网表结构。本文提出了几种新的技术,包括:(1)用于有效布尔约束传播(BCP)的一般门类型的通用监视方案,(2)用于有效学习的隐式蕴涵图表示,以及(3)为基于电路的数据结构精心设计最先进的SAT算法。实验结果表明,我们的基线解算器在不利用电路信息的情况下,可以获得与基于最快连接范式(CNF)的解算器相同的性能。我们还证明,通过应用一种简单的面向电路的决策排序技术(J前沿),我们的求解器可以持续超过CNF的15倍以上。由于基于电路的数据结构具有很大的灵活性,我们的求解器可以为未来的通用SAT研究奠定坚实的基础。 主页: http://dl.acm.org/citation.cfm?id=1266653 相关软件: 糠;斯基佐;Quantor公司;QUBE公司;圆圈Qit2;QBFLIB公司;魁北克++ 引用于: 2文件 4位作者引用 1 法希姆·巴克斯 1 亚历山大·古提亚耶娃 1 维姬·艾弗森 1 Konrad W.施韦德费格。 连载1篇 1 计算系统理论 在4个字段中引用 2 计算机科学(68至XX) 2 信息与通信理论、电路(94-XX) 1 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 按年份列出的引文