×

SMC:可满足性模凸优化。 (英语) Zbl 1366.68102号

2017年4月18日至20日,美国宾夕法尼亚州匹兹堡,2017年HSCC,第20届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4590-3)。19-28 (2017).

MSC公司:

65年第68季度 算法和问题复杂性分析
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
90C25型 凸面编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部