Jin，HoonSang先生；韩孝忠；法比奥·萨蒙齐 有效的冲突分析，用于找到布尔电路的所有满意赋值。 （英语） 兹比尔1087.68631 Halbwachs，Nicolas（编辑）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440287-300（2005）。MSC公司：68吨15 68T20型 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Jin}等人，Lect。票据计算。科学。3440287--300（2005；Zbl 1087.68631） 全文： 内政部
卡维塔·拉维；法比奥·萨蒙齐 有界模型检查的最小赋值。 （英语） Zbl 1126.68486号 Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学课堂讲稿298831-45（2004）。MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Ravi}和\textit{F.Somenzi}，莱克特。票据计算。科学。2988、31-45（2004年；Zbl 1126.68486） 全文： 内政部
太棒了，穆罕默德；法比奥·萨蒙齐 通过有界模型检查证明更多属性。 （英语） Zbl 1103.68603号 Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，96-108（2004）。MSC公司：60年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit｛M.Awedh｝和\textit｛F.Somenzi｝，Lect。票据计算。科学。3114，96-108（2004年；兹bl 1103.68603） 全文： 内政部
Jin，HoonSang先生；太棒了，穆罕默德；法比奥·萨蒙齐 CirCUs：面向有界模型检查的可满足性求解器。 （英语） Zbl 1103.68625号 Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，519-522（2004）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Jin}等人，Lect。票据计算。科学。3114519-522（2004；Zbl 1103.68625） 全文： 内政部