Bayesian Optimisation of Solver Parameters in CBMC
Bayesian Optimisation of Solver Parameters in CBMC
复制标题
CBMC 中求解器参数的贝叶斯优化
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Mangla C
中科院分区：
文献类型：
--
作者：
Mangla C
DOI：
10.29007/q91g
发表时间：
--
期刊：
--
影响因子：
--
作者：
Slowik A
通讯作者：
Slowik A
DOI：
10.1109/famcad.2007.9
发表时间：
2007-11
期刊：
Formal Methods in Computer Aided Design (FMCAD'07)
影响因子：
--
作者：
F. Hutter;Domagoj Babic;H. Hoos;Alan J. Hu
通讯作者：
F. Hutter;Domagoj Babic;H. Hoos;Alan J. Hu