de Oliveira，Diego Caminha B。；戴维·戴哈贝；帕斯卡·方丹 通过（模型-）等式传播组合决策过程。 （英语） Zbl 1243.68150号 科学。计算。程序。 77，第4期，518-532（2012）.MSC公司：68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.C.B.de Oliveira}等人，科学。计算。程序。77，No.4，518--532（2012；Zbl 1243.68150） 全文： 内政部
戴维·戴哈贝；帕斯卡·方丹；斯蒂芬·默兹；布鲁诺沃尔岑洛格尔古 利用SMT问题中的对称性。 （英语） Zbl 1341.68187号 Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，222-236（2011）。MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Déharbe}等人，Lect。注释计算。科学。6803、222--236（2011；Zbl 1341.68187） 全文： 内政部
de Oliveira，Diego Caminha B。；戴维·戴哈贝；帕斯卡·方丹 通过（模型-）等式传播组合决策过程。 （英语） Zbl 1347.68309号 Patricia D.L.Machado（编辑），第十一届巴西正式方法研讨会论文集（SBMF 2008）2008年8月26日至29日，巴西萨尔瓦多。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记240，113-128（2009）。MSC公司：68吨15 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛D.C.B.de Oliveira｝等人，电子。注释Theor。计算。科学。240113-128（2009年；兹比尔1347.68309） 全文： 内政部
戴维·德哈比；西尔维奥·兰伊斯；约旦维达尔 在懒惰的理论证明中分配工作负载。 （英语） Zbl 1279.68288号 Sampaio，Augusto（编辑），第二届巴西正式方法研讨会论文集（SBMF 2005），Porto Alegre，RS，巴西，2005年11月30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记184，21-37（2007）。MSC公司：68吨15 64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Deharbe}等人，《电子》。注释Theor。计算。科学。184、21-37（2007年；Zbl 1279.68288） 全文： 内政部