李毅;阿尔巴古提·奥斯;扎卡里·金凯德;阿里·古芬克尔;Chechik，玛莎 SMT求解器的符号优化。 （英语） Zbl 1284.68410号 2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。607-618（2014年）。 引用于16文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68周05 非数值算法 90C99号 数学编程 关键词：不变生成;最优化;程序分析;可满足性模理论;符号抽象 软件：符号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。607--618（2014年；Zbl 1284.68410） 全文： 内政部