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

Type: Other

Volume: 2854

Parent Publication: CEUR Workshop Proceedings

ISSN: 16130073