Suppressing external visual distractors from driver's field of view. - Tomás Kolárik; Ivo Malý; Zdenek Míkovec (CogInfoCom, 2018)

SAT Modulo Differential Equation Simulations. - Tomás Kolárik; Stefan Ratschan (TAP@STAF, 2020)

Railway Scheduling Using Boolean Satisfiability Modulo Simulations. - Tomás Kolárik; Stefan Ratschan (FM, 2023)

Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Real Arithmetic. - Tomás Kolárik; Stefan Ratschan; Pavel Surynek (ICAART (1), 2024)

Space Explanations of Neural Network Classification. - Faezeh Labbaf; Tomás Kolárik; Martin Blicha; Grigory Fedyukovich; Michael Wand 002; Natasha Sharygina (CAV (3), 2025)