Efficient BDD encodings for partial order constraints with application to expert systems in software verification
Efficient BDD encodings for partial order constraints with application to expert systems in software verification
复制标题
偏序约束的高效 BDD 编码及其在软件验证专家系统中的应用
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
H.Kondo
中科院分区：
文献类型：
--
作者：
M.Kurihara;H.Kondo
登录
查看更多内容
ATP社区OBDD算法简介
DOI：
10.1007/bf00881842
发表时间：
1994
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
J. S. Moore
通讯作者：
J. S. Moore
利用ATMS高效验证重写规则程序的终止
DOI：
10.1142/s0218194092000257
发表时间：
1992
期刊：
Int. J. Softw. Eng. Knowl. Eng.
影响因子：
--
作者：
M. Kurihara;Hisashi Kondo;A. Ohuchi
通讯作者：
A. Ohuchi
DOI：
10.1007/3-540-15976-2_12
发表时间：
1985
期刊：
--
影响因子：
--
作者：
David Detlefs;R. Forgaard
通讯作者：
R. Forgaard
共享二元决策图最优变量排序问题的复杂性
DOI：
10.1007/3-540-57568-5_270
发表时间：
1993
期刊：
Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)
影响因子：
--
作者：
S. Tani;K. Hamaguchi;S. Yajima
通讯作者：
S. Yajima