Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving
Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving
复制标题
Manyopt：通过 SMT 求解进行混合非线性优化的可扩展工具
DOI：
10.48550/arxiv.1702.01332
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Callia D'Iddio Andrea
中科院分区：
文献类型：
--
作者：
Callia D'Iddio Andrea
登录
查看更多内容
通过 SAT 模线性算术求解非线性多项式算术
DOI：
--
发表时间：
2009
期刊：
CADE
影响因子：
--
作者：
C. Borralleras;Salvador Lucas;Rafael Navarro;Enric Rodríguez;A. Rubio
通讯作者：
A. Rubio
影响因子：
2.7
作者：
JEROSLOW, RG
通讯作者：
JEROSLOW, RG
核军控置信度分析：贝叶斯置信网络的 SMT 抽象
DOI：
--
发表时间：
2015
期刊：
European Symposium on Research in Computer Security
影响因子：
--
作者：
Paul Beaumont;Neil Evans;M. Huth;T. Plant
通讯作者：
T. Plant
OSiL：用于优化的实例语言
影响因子：
2.2
作者：
R. Fourer;Jun Ma;Kipp Martin
通讯作者：
Kipp Martin
利用多样化、通信和并行性来解决混合整数线性规划
影响因子：
1.1
作者：
Rodolfo Carvajal;Shabbir Ahmed;G. Nemhauser;K. Furman;V. Goel;Yufen Shao
通讯作者：
Yufen Shao