克什蒂吉·班萨尔;克拉克·巴雷特;安德鲁·雷诺兹;塞萨尔·蒂内利 SMT中具有有限集和基数约束的推理。 （英语） Zbl 1403.68044号 日志。方法计算。科学。 14，第4号，第12号论文，31页（2018年）.MSC公司：68第05页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.Bansal}等人，Log。方法计算。科学。14，第4号，第12号论文，31页（2018；Zbl 1403.68044） 全文： 内政部 arXiv公司
克什蒂吉·班萨尔;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 SMT中有限集和基数约束的新决策过程。 （英语） Zbl 1475.68430号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日，在葡萄牙科英布拉举行的第八届国际联合会议，IJCAR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 82-98 (2016).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{K.Bansal}等人，Lect。注释计算。科学。9706、82-98（2016年；Zbl 1475.68430） 全文： 内政部