逻辑公式的可满足性判定 : 方法、工具及应用
《逻辑公式的可满足性判定 : 方法、工具及应用》,作者:张健著 出版社:科学出版社 ISBN:7030083644。本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应用。
投稿
微信公众账号
微信扫一扫加关注
顶部