Journal of Automated Reasoning. 2013;51(4):453-456. doi: 10.1007/s10817-013-9295-4 Q40.72025
“Decision Procedures: An Algorithmic Point of View,” by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008
《决策过程：算法视角》，丹尼尔·克罗宁与奥弗·斯特里希曼著，施普林格-费尔格出版社，2008年
DOI: 10.1007/s10817-013-9295-4
摘要 查看摘要
