若昂·西尔瓦侯爵;沙拉德·马利克 命题SAT求解。 （英文） Zbl 1392.68380号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。247-275 (2018).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Marques-Silva}和\textit{S.Malik}，in：模型检查手册。查姆：斯普林格。247--275（2018；Zbl 1392.68380） 全文： 内政部
德雷克斯勒，R。;Eggersglüß，S。;费伊，G。;蒂尔，D。 使用布尔证明引擎生成测试模式。 （英文） Zbl 1189.68029号 多德雷赫特：施普林格（ISBN 978-90-481-2359-9/hbk；978-90-4081-2360-5/电子书）。xii，192页。(2009).MSC公司：68M99型 68-02 68单位07 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Drechsler}等人，使用布尔证明引擎生成测试模式。多德雷赫特：施普林格（2009；Zbl 1189.68029） 全文： 内政部
罗尔夫·德雷克斯勒;格什温·菲 自动生成测试模式。 （英文） Zbl 1182.68019号 Bernardo，Marco（编辑）等人，硬件验证的形式化方法。2006年5月22日至27日，第六届计算机、通信和软件系统设计正式方法国际学校，2006年SFM，意大利贝尔蒂诺罗。高级讲座。柏林：施普林格出版社（ISBN 3-540-34304-0/pbk）。计算机科学课堂讲稿3965，30-55（2006）。MSC公司：68米15 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Drechsler}和\textit{G.Fey}，莱克特。注释计算。科学。3965，30-55（2006；Zbl 1182.68019） 全文： 内政部
Yu Kapitonova。五、。;Mar'yanovich，T.P。;A.A.米什琴科。 计算机系统组件的自动化设计和模拟。 （英语。俄文原件） Zbl 0917.68216号 赛博。系统。分析。 33，第6期，828-839（1997）; 翻译自Kibern。修女。分析。1998年，第6期，94-108（1997）。MSC公司：68单位07 68岁20岁 68个月1日 PDF格式BibTeX公司 XML格式引用 \textit｛Yu.V.Kapitonova｝等人，Cybern。系统。分析。33，第6号，828--839（1997；Zbl 0917.68216）；翻译自Kibern。修女。分析。1998年，第6期，94--108（1997） 全文： 内政部
李世绝;林伟杰 用命题逻辑对组合电路设计进行形式化验证和诊断。 （英文） Zbl 1065.94570号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 31，第1期，79-105（1997）.MSC公司：94C12号机组 03B05号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.-J.Lee}和\textit{W.-J.Lin}，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.31，No.1，79--105（1997；Zbl 1065.94570）
沃尔夫冈·昆兹;多米尼克·斯托菲尔 布尔网络中的推理。使用测试技术进行逻辑综合和验证。 （英文） Zbl 0884.68007号 电子测试的前沿。9.波士顿：Kluwer学术出版社。xv，230页（1997年）。 审核人：J.Hromković（亚琛） MSC公司：68米15 94C12号机组 94-02 68-02 PDF格式BibTeX公司 XML格式引用 \textit{W.Kunz}和\textit{D.Stoffel}，布尔网络中的推理。使用测试技术进行逻辑综合和验证。波士顿：Kluwer学术出版社（1997；Zbl 0884.68007）
乌韦·休伯纳 在开关级对静态数字CMOS电路进行分区和分析，以准备混合级测试生成。（分区和分析统计器，数字设备CMOS-Schaltungen auf der Schalterebene zur Vorbereitung einer Mixed-Level Testgenerierung。） （德语） Zbl 0818.68018号 Berichte der Gesellschaft für Mathematik und Datenverabeitung（GMD-Bericht）。226.《慕尼黑：奥尔登堡》，168页（1994年）。 MSC公司：68-02 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{U.Hübner}，分区和分析统计器，数字处理器CMOS-Schaltungen auf der Schalterebene zur Vorbereitung einer Mixed-Level Testgenerierung。慕尼黑：奥尔登堡（1994；Zbl 0818.68018）
来自，S.G。;法哈特，H.A。 beta测试性模型预期覆盖的置信区间。 （英文） Zbl 0790.62093号 计算。数学。应用。 24，第7期，97-107（1992）.MSC公司：62号05 68M99型 68米15 PDF格式BibTeX公司 XML格式引用 \textit{S.G.From}和\textit{H.A.Farhat}，计算。数学。申请。24，第7号，97--107（1992；Zbl 0790.62093） 全文： 内政部
帕斯卡·范·亨特利克;赫尔穆特·西蒙尼斯;梅赫迈特·丁卡斯 使用约束逻辑编程实现约束满足。 （英文） Zbl 0782.68028号 Artif公司。智力。 58，编号1-3，113-159（1992）.MSC公司：68N17号 90C27型 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Van Hentenryck}等人，Artif。智力。58，编号1--3113-159（1992；Zbl 0782.68028） 全文： 内政部