@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"
}

@InProceedings{BS23,
    Author       = "Bártek, F. and Suda, M.",
    Year         = "2023",
    Title        = "{How Much Should This Symbol Weigh? A GNN-Advised Clause Selection}",
    Editor       = "Piskac, R. and Voronkov, A.",
    BookTitle    = "{Proceedings of the 24th International Conference on Logic
                    for Programming, Artificial Intelligence, and Reasoning}",
    Place        = "Manizales, Colombia",
    Series       = "EPiC Series in Computing",
    Number       = "94",
    Pages        = "96-111",
    Publisher    = "EasyChair Publications",
    Comment      = ""
}