塞萨尔·蒂内利 可满足性模理论的基础。 （英语） Zbl 1253.03034号 Dawar，Anuj（编辑）等人，《逻辑、语言、信息和计算》。2010年7月6日至9日在巴西巴西利亚举行的2010年WoLLIC第17届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13823-2/pbk）。计算机科学6188课堂讲稿。人工智能课堂讲稿，58（2010）。MSC公司：03B35型 03B10号机组 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Tinelli}，莱克特。注释计算。科学。6188，58（2010年；兹bl 1253.03034） 全文： 内政部
塞萨尔·蒂内利 可满足性模理论的抽象框架。 （英语） Zbl 1132.68684号 Olivetti，Nicola（编辑），《使用分析表和相关方法的自动推理》。第16届国际会议，2007年7月3日至6日，法国普罗旺斯艾克斯TABLEAUX。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73098-9/pbk）。计算机科学课堂讲稿4548。人工智能课堂讲稿，10（2007）。MSC公司：第68页第15页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Tinelli}，莱克特。注释计算。科学。4548,10（2007年；Zbl 1132.68684） 全文： 内政部
塞萨尔·蒂内利 背景推理者通过残差共享进行理论推理的合作。 （英语） Zbl 1019.03004号 J.汽车。推理 30，第1期，1-31页（2003年）.MSC公司：03B35型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Tinelli}，J.Autom。推理30，第1号，1-31（2003；Zbl 1019.03004） 全文： 内政部
塞萨尔·蒂内利 基于DPLL的地基可满足性模理论演算。 （英语） Zbl 1013.68192号 Flesca，Sergio（编辑）等人，《人工智能中的逻辑》。第八届欧洲会议，JELIA 2002，意大利科森扎，2002年9月23日至26日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2424, 308-319 (2002).MSC公司：第68页第15页 68T20型 第68页第27页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Tinelli}，莱克特。注释计算。科学。2424308--319（2002；Zbl 1013.68192） 全文： 链接