Bayesian Optimisation of Solver Parameters in CBMC (2020)

First Author: Mangla C
Attributed to:  Machine Learning for Automated Theorem Proving funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://www.repository.cam.ac.uk/handle/1810/308162

Type: Conference/Paper/Proceeding/Abstract