丹尼尔·克罗宁;斯特里赫曼(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) 全文: 内政部
克拉克·巴雷特;莱昂纳多·德·莫拉;帕斯卡·方丹 可满足性模理论的证明。 (英语) Zbl 1431.68111号 Woltzenlogel Paleo,Bruno(编辑)等人,《关于证据的一切,所有证据》。伦敦:学院出版物。螺柱日志。(伦敦)55,23-44(2015)。MSC公司:68T20型 68兰特 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人,研究日志。(伦敦)55,23-44(2015;Zbl 1431.68111)
约万诺维奇,德扬;莱昂纳多·德·莫拉 切入正题。求解线性整数算法。 (英语) Zbl 1314.90053号 J.汽车。推理 51,第1期,79-108(2013).MSC公司:90立方厘米 90C05(二氧化碳) 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Jovanović}和\textit{L.De Moura},J.Autom。推理51,No.1,79--108(2013;Zbl 1314.90053) 全文: 内政部
Christoph M.温特斯泰格。;尤塞夫·哈马迪;莱昂纳多·德·莫拉 有效求解量化位向量公式。 (英语) 兹比尔1284.03212 形式方法系统。设计。 42,第1期,3-23(2013).MSC公司:03B70号 60年第68季度 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Wintersteiger}等人,《表格方法系统》。设计。42,第1号,第3--23号(2013;Zbl 1284.03212) 全文: 内政部
莱昂纳多·德·莫拉;帕斯莫尔,格兰特·奥尼 SMT解决中的战略挑战。 (英语) Zbl 1383.68084号 Bonacina,Maria Paola(编辑)等人,《自动推理和数学》。纪念威廉·麦库恩的散文。柏林:施普林格出版社(ISBN 978-3-642-36674-1/pbk)。计算机科学课堂讲稿7788。人工智能课堂讲稿,15-44(2013)。MSC公司:68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.de Moura}和\textit{G.O.Passmore},莱克特。注释计算。科学。7788,15-44(2013;Zbl 1383.68084) 全文: 内政部 链接
莱昂纳多·德·莫拉;尼古拉·比约纳 基于模型的理论组合。 (英语) Zbl 1277.03007号 Krstić,Sava(编辑)等人,第五届可满足性模理论国际研讨会论文集(SMT 2007),德国柏林,2007年7月1日至2日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》198,第2期,37-49(2008)。MSC公司:03B35型 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.de Moura}和\textit{N.Bjørner},电子。理论注释。计算。科学。198,编号2,37-49(2008;Zbl 1277.03007) 全文: 内政部
克拉克·巴雷特;莱昂纳多·德·莫拉;阿伦·斯塔姆 第二届年度可满足性模理论竞赛(SMT-COMP 2006)的设计和结果。 (英语) Zbl 1129.68498号 形式方法系统。设计。 31,第3期,221-239(2007).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人,《形式方法系统》。设计。31,第3221-239号(2007年;兹bl 1129.68498) 全文: 内政部
克拉克·巴雷特;莱昂纳多·德·莫拉;阿伦·斯塔姆 第一届可满足性模理论竞赛(SMT-COMP 2005)的设计和结果。 (英语) Zbl 1104.68719号 J.汽车。推理 35,第4期,373-390(2005).MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人,J.Autom。推理35,No.4,373--390(2005;Zbl 1104.68719) 全文: 内政部
克拉克·巴雷特;莱昂纳多·莫拉;阿伦·斯塔姆 SMT-COMP:可满足性模理论竞争。 (英语) Zbl 1081.68607号 Etessami,Kousha(编辑)等人,《计算机辅助验证》。第17届国际会议,CAV 2005,英国苏格兰爱丁堡,2005年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27231-3/pbk)。计算机科学课堂讲稿3576,20-23(2005)。MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人,Lect。注释计算。科学。3576,20--23(2005;Zbl 1081.68607) 全文: 内政部
莱昂纳多·德·莫拉;哈拉尔德街 地面决策程序的实验评估。 (英语) Zbl 1103.68645号 Alur,Rajeev(编辑)等人,《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22342-8/pbk)。《计算机科学讲义》3114162-174(2004)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.de Moura}和\textit{H.Rueß},Lect。注释计算。科学。3114、162--174(2004;Zbl 1103.68645) 全文: 内政部