Akhilesh Srikanth;伯拉克·萨欣;威廉·R·哈里斯。 使用引导定理枚举进行复杂性验证。 （英文） Zbl 1380.68284号 Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。639-652 (2017). 引用于2文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：复杂性;插值;定理基础 软件：LeetCode（利特代码）;z3（零3）;烟尘;坎比 PDF格式BibTeX公司 XML格式引用 \textit｛A.Srikanth｝等人，在：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）。639--652（2017；Zbl 1380.68284） 全文： 内政部