约万诺维奇，德扬 用MCSAT求解非线性整数算法。 （英语） Zbl 1484.68220号 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10145, 330-346 (2017).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Jovanović}，莱克特。注释计算。科学。10145330-346（2017；Zbl 1484.68220） 全文： 内政部
约万诺维奇，德扬;莱昂纳多·德·莫拉 切入正题。求解线性整数算法。 （英语） 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） 全文： 内政部
莱昂纳多·德·莫拉;约万诺维奇，德扬 一种模型构造可满足性演算。 （英语） Zbl 1426.68251号 Giacobazzi，Roberto（编辑）等人，《验证、模型检查和抽象解释》。第14届国际会议，2013年VMCAI，意大利罗马，2013年1月20日至22日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。7737, 1-12 (2013).MSC公司：68T20型 03B10号机组 03B70号 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.de Moura}和\textit{D.Jovanović}，莱克特。注释计算。科学。7737，1-12（2013；Zbl 1426.68251） 全文： 内政部
约万诺维奇，德扬;莱昂纳多·德·莫拉 切入正题。求解线性整数算法。 （英语） Zbl 1314.90054号 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。人工智能课堂讲稿，338-353（2011）。MSC公司：90立方厘米 90C05（二氧化碳） 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Jovanović}和\textit{L.de Moura}，莱克特。注释计算。科学。6803338--353（2011；Zbl 1314.90054） 全文： 内政部