@InProceedings{HK19-AITP,
    Author       = "Holden, E. and Korovin, K.",
    Year         = "2019",
    Title        = "{SMAC and XGBoost your Theorem Prover}",
    Editor       = "Hales, T. and Kaliszyk, C. and Kumar, R. and Schulz, S. and Urban, J.",
    BookTitle    = "{Proceedings of the 4th Conference on Artificial
                    Intelligence and Theorem Proving}",
    Place        = "Obergurgl, Austria",
    Pages        = "93-95",
    Comment      = ""
}