弗洛里安·布兰德尔;费利克斯·勃兰特;曼纽尔·埃贝尔;基斯特，克里斯蒂安 通过SMT求解证明了效率和策略性的不相容性。 （英语） Zbl 1425.68385号 美国临床医学杂志 65号第2条第6条第28页（2018年）. 引用于8文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：随机优势;效率;策略性 软件：SMT-LIB公司;数学SAT5;伊莎贝尔/HOL;SDS_权限 PDF格式BibTeX公司 XML格式引用 \textit{F.Brandl}et al.，J.ACM 65，No.2，Article No.6，28 p.（2018；Zbl 1425.68385） 全文： 内政部 arXiv公司