丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman) [尼古拉·比约纳;莱昂纳多·德·莫拉;希勒尔·库格勒] 决策程序。算法观点。第二版。 (英语) Zbl 1358.68002号 理论计算机科学课文。EATCS系列柏林:施普林格出版社(ISBN 978-3-662-50496-3/hbk;978-3-562-50497-0/电子书)。第22、356页。(2016).MSC公司:68-01年 68-02 68吨15 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}和\textit{O.Strichman},决策程序。算法观点。第二版。柏林:施普林格出版社(2016;Zbl 1358.68002) 全文: 内政部
丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman) 决策程序。算法观点。兰达尔·布莱恩特(Randal E.Bryant)的前言。 (英语) 兹比尔1149.68071 理论计算机科学课文。EATCS系列柏林:施普林格出版社(ISBN 978-3-540-74104-6/hbk)。十六、304页。(2008). 审核人:克里斯蒂安·波斯托夫(圣奥古斯丁) MSC公司:68-01年 68-02 68吨15 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}和\textit{O.Strichman},决策程序。算法观点。兰达尔·布莱恩特(Randal E.Bryant)的前言。柏林:施普林格出版社(2008;Zbl 1149.68071)