巴哈雷赫巴德班 一种用于决策图的项重写技术。 (英语) Zbl 1291.68243号 Corradini,Andrea(编辑),第五届术语和图形计算国际研讨会论文集(TERMGRAPH 2009),英国约克,2009年3月22日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》253,第4期,39-54页(2009年)。MSC公司:60年第68季度 2012年第68季度 68兰特 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban},电子。注释Theor。计算。科学。253,编号4,39-54(2009;Zbl 1291.68243) 全文: 内政部
奥尔加·特维雷蒂纳;威格·威瑟林克 EufDPLL–检查等式逻辑公式可满足性的工具。 (英语) Zbl 1336.68167号 Seda,Anthony(编辑)等人,《爱尔兰计算机科学和信息技术数学基础会议论文集》(MFCSIT 2006),爱尔兰科克国立爱尔兰大学,2006年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记225,405-420(2009)。MSC公司:60年第68季度 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{O.Tveretina}和\textit{W.Wesselink},电子。注释Theor。计算。科学。225405-420(2008年;兹比尔1336.68167) 全文: 内政部
巴哈雷赫巴德班;范德波尔(Jaco Van De Pol);奥尔加,特维雷蒂纳;汉斯·赞特马 推广DPLL和等式的可满足性。 (英语) Zbl 1121.68102号 Inf.计算。 205,第8期,1188-1211(2007).MSC公司:68吨15 68T20型 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}等人,《信息计算》。205,第8号,1188--1211(2007;Zbl 1121.68102) 全文: 内政部 链接
Jan Friso,格鲁特;亚德·马蒂杰森;蒙克·范·维尔登堡;亚罗斯拉夫乌森科 从\(\mu\)CRL到mCRL2:动机和大纲。 (英语) Zbl 1316.68094号 Aceto,Luca(编辑)等人,《代数过程计算论文》研讨会论文集(APC 25),意大利贝蒂诺罗,2005年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记162191-196(2006)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}等人,《电子》。注释Theor。计算。科学。162191-196(2006年;Zbl 1316.68094) 全文: 内政部
Jan Friso,格鲁特;Tim A.C.Willemse。 参数化布尔方程系统。 (英语) Zbl 1077.68061号 西奥。计算。科学。 343,第3期,332-369(2005).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{T.A.C.Willemse},Theor。计算。科学。343,第3号,332--369(2005;Zbl 1077.68061) 全文: 内政部 链接
巴哈雷赫巴德班;雅各布·范德波尔 BDD中的零、继承和平等。 (英语) Zbl 1064.03009号 Ann.纯粹应用。逻辑 133,编号1-3,101-123(2005).MSC公司:03B20型 03B25号 03B35型 68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}和\textit{J.van de Pol},Ann.Pure Appl。逻辑133,编号1--3,101-123(2005;Zbl 1064.03009) 全文: 内政部 链接
汉斯·赞特马;Jan Friso,格鲁特 将等式逻辑转换为命题逻辑。 (英语) Zbl 1261.03070号 Dahn,Ingo(ed.)等人,FTP’2003:第四届一阶定理证明国际研讨会。研讨会会议记录(与RDP’03,改写、演绎和编程联合会议相关),西班牙巴伦西亚,2003年6月12日至14日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》86,第1期,162-173(2003)。MSC公司:03B35型 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{H.Zantema}和\textit{J.F.Groote},电子。注释Theor。计算。科学。86,第1号,162--173(2003;Zbl 1261.03070) 全文: 内政部
范德波尔(Jaco Van De Pol) 即时:关于战略注释。 (英语) Zbl 1268.68104号 Gramlich,Bernhard(编辑)等人,WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。车间后程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记57,41-63(2001)。MSC公司:2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Van De Pol},电子。注释Theor。计算。科学。57、41-63(2001年;Zbl 1268.68104) 全文: 内政部
汉斯·赞特马;雅各布·范德波尔 二进制决策图的重写方法。 (英语) Zbl 1015.68086号 J.日志。阿尔盖布。程序。 49,编号1-2,61-86(2001).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zantema}和\textit{J.van de Pol},J.Log。阿尔盖布。程序。49,编号1--2,61-86(2001;Zbl 1015.68086) 全文: 内政部