×

兹马思-数学第一资源

增量SAT求解的时间归纳法。(英语) Zbl公司 1271.68215
Strichman,Ofer(ed.)等人,BMC'2003。第一届有界模型检验国际研讨会论文集,美国科罗拉多州博尔德,2003年7月13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记89,第4期,543-560(2003)。
小结:我们展示了一个典型的现代SAT解算器如何通过一个非常小的修改来高效地求解一系列相关的SAT实例。我们将这一方法应用于安全性检验中。我们进一步给出了一种更有效的方法来约束扩展归纳假设到所谓的无环路径。我们还首次对安全检查的诱导方法进行了全面的实验评估。
整个系列请参见[Zbl 1271.68057].

理学硕士:
68吨20 人工智能环境下的问题解决(启发式、搜索策略等)
68Q60型 规范和验证(程序逻辑、模型检查等)
软件:
;超小卫星
PDF格式 BibTeX公司 XML 引用
全文: 链接