安德鲁·雷诺兹;塞萨尔·蒂内利;阿米特·戈尔;萨瓦·克里斯蒂奇;Deters，摩根;克拉克·巴雷特 SMT中有限模型查找的量化实例化技术。 （英语） Zbl 1381.68275号 Bonacina，Maria Paola（编辑），自动扣除-CADE-24。2013年6月9日至14日在美国纽约州普莱西德湖举行的第24届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38573-5/pbk）。计算机科学课程讲稿7898。人工智能课堂讲稿，377-391（2013）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人，Lect。注释计算。科学。7898、377--391（2013年；Zbl 1381.68275） 全文： 内政部
富克斯，亚历山大;阿米特·戈尔;吉姆·格兰迪;萨瓦·克里斯蒂奇;塞萨尔·蒂内利 等式理论的地面插值。 （英语） Zbl 1239.03022号 日志。计算方法。科学。 8，第1号，第6号论文，23页（2012年）.MSC公司：03C40号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Fuchs}等人，日志。计算方法。科学。8，第1号，第6号论文，23页（2012；Zbl 1239.03022） 全文： 内政部
阿米特·戈尔;萨瓦·克里斯蒂奇;塞萨尔·蒂内利 组合理论的地面插值。 （英语） Zbl 1250.68188号 Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。《人工智能课堂讲稿》，183-198（2009）。MSC公司：第68季度第60季度 03B35型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Goel｝等人，Lect。注释计算。科学。5663、183--198（2009年；Zbl 1250.68188） 全文： 内政部
富克斯，亚历山大;阿米特·戈尔;吉姆·格兰迪;萨瓦·克里斯蒂奇;塞萨尔·蒂内利 平等理论的地面插值。 （英语） Zbl 1234.68257号 Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505413-427（2009）。MSC公司：第68季度第60季度 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{A.Fuchs}等人，Lect。注释计算。科学。5505413-427（2009年；Zbl 1234.68257） 全文： 内政部 arXiv公司
萨瓦·克里斯蒂奇;阿米特·戈尔;吉姆·格兰迪;塞萨尔·蒂内利 组合可满足性模参数理论。 （英语） Zbl 1186.68297号 Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学课堂讲稿4424，602-617（2007）。MSC公司：第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛S.Krstić｝等人，Lect。注释计算。科学。4424、602--617（2007年；Zbl 1186.68297） 全文： 内政部