8 citations · 9 across the 5 of their papers we have counts for
1 paper · 2 filters
Filip Bártek, Karel Chvalovský, Martin Suda
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 pro…