@InProceedings{BS23-AITP,
    Author       = "Bártek, F. and Suda, M.",
    Year         = "2023",
    Title        = "{Robust Strategy Schedule Optimization for an Automatic Theorem Prover}",
    Editor       = "Benzm{\"u}ller, C. and Heule, M. and Schmidt, R.",
    BookTitle    = "{Proceedings of the 8th Conference on Artificial Intelligence and Theorem
                    Proving}",
    Place        = "Aussois, France",
    Comment      = "TPTPCite"
}