Toms Kolrik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESANN | Interpreting Logical Explanations of Classifying Neural Networks. | Fabrizio Leopardi, Faezeh Labbaf, Toms Kolrik, Michael Wand, Natasha Sharygina |
| 2026 | FM | Formally Explaining Neural Network Classification. | Toms Kolrik, Grigory Fedyukovich, Faezeh Labbaf, Fabrizio Leopardi, Natasha Sharygina, Michael Wand |
| 2026 | TACAS | Parallel SMT Solving via Iterative Tree Partitioning. | Toms Kolrik, Antti E. J. Hyvrinen, Seyedmasoud Asadzadeh, Natasha Sharygina |
| 2025 | CAV | Space Explanations of Neural Network Classification. | Faezeh Labbaf, Toms Kolrik, Martin Blicha, Grigory Fedyukovich, Michael Wand, Natasha Sharygina |
| 2024 | ICAART | Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Real Arithmetic. | Toms Kolrik, Stefan Ratschan, Pavel Surynek |
| 2023 | FM | Railway Scheduling Using Boolean Satisfiability Modulo Simulations. | Toms Kolrik, Stefan Ratschan |
| 2020 | TAP | SAT Modulo Differential Equation Simulations. | Toms Kolrik, Stefan Ratschan |