亚瑟·舒克利;皮埃尔路易吉·努佐;Alberto L.Sangiovanni-Vincentelli。;Sanjit A.Seshia。;乔治·帕帕斯。;保罗·塔布阿达 SMC:可满足性模凸优化。 (英语) Zbl 1366.68102号 2017年4月18日至20日,美国宾夕法尼亚州匹兹堡,2017年HSCC,第20届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4590-3)。19-28 (2017). 引用于5文件 MSC公司: 65年第68季度 算法和问题复杂性分析 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 90C25型 凸面编程 关键词:凸规划;可满足性模凸优化;可满足性模理论 软件:CPLEX公司;z3(零3);d真实;CalCS公司 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shoukry}等人,in:第20届ACM混合系统国际会议论文集:计算与控制,HSCC 2017,匹兹堡,宾夕法尼亚州,美国,2017年4月18-20日。纽约州纽约市:计算机协会(ACM)。19-28(2017年;Zbl 1366.68102) 全文: 内政部