Learning Precedences from Simple Symbol Features. - Filip Bártek; Martin Suda 001 (PAAR+SC²@IJCAR, 2020)

Neural Precedence Recommender. - Filip Bártek; Martin Suda 001 (CADE, 2021)

How Much Should This Symbol Weigh? A GNN-Advised Clause Selection. - Filip Bártek; Martin Suda 001 (LPAR, 2023)

Regularization in Spider-Style Strategy Discovery and Schedule Construction. - Filip Bártek; Karel Chvalovský; Martin Suda 001 (IJCAR (1), 2024)

Cautious Specialization of Strategy Schedules (Extended Abstract). - Filip Bártek; Karel Chvalovský; Martin Suda 001 (PAAR+SC²@IJCAR, 2024)

The Vampire Diary. - Filip Bártek; Ahmed Bhayat; Robin Coutelier; Márton Hajdú; Matthias Hetzenberger; Petra Hozzová; Laura Kovács; Jakob Rath; Michael Rawson 001; Giles Reger; Martin Suda 001; Johannes Schoisswohl; et al. (CAV (3), 2025)