F Bártek, K Chvalovský, M Suda - International Joint Conference on …, 2024 - Springer
To achieve the best performance, automatic theorem provers often rely on schedules of
diverse proving strategies to be tried out (either sequentially or in parallel) on a given …