Get started
Author

Tomáš Kolárik

Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Real Arithmetic
2024 · Tomáš Kolárik, Stefan Ratschan, et al. · International Conference on Agents and Artificial Intelligence (ICAART) · 3
Railway Scheduling Using Boolean Satisfiability Modulo Simulations
2023 · Tomáš Kolárik, Stefan Ratschan · Lecture notes in computer science · 3
Suppressing external visual distractors from driver’s field of view
2018 · Tomas Kolarik, Ivo Maly, et al. · IEEE International Conference on Cognitive Infocommunications · 3
Space Explanations of Neural Network Classification
2025 · Faezeh Labbaf, Tomáš Kolárik, et al. · Lecture notes in computer science · 2
PDF
SAT Modulo Differential Equation Simulations
2020 · Tomáš Kolárik, Stefan Ratschan · Lecture notes in computer science · 2
Interpreting Logical Explanations of Classifying Neural Networks
2026 · Fabrizio Leopardi, Faezeh Labbaf, et al. · European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (ESANN) · 1
PDF
Railway Scheduling Using Boolean Satisfiability Modulo Simulations
2022 · Kolárik, Tomáš, Ratschan, Stefan · arXiv (Cornell University) · 1
PDF
SpExplAIn: Trustworthy and Interpretable Space Explanations of Neural Network Classifiers (Artifact)
2026 · Kolárik, Tomáš, Labbaf, Faezeh, et al. · Zenodo (CERN European Organization for Nuclear Research)
Neuron Activation-based Computation of Logical Explanations for Deep Neural Networks
2026 · Kolárik, Tomáš, Labbaf, Faezeh, et al. · arXiv (Cornell University)
PDF
SMT-COMP 2026: OpenSMT
2026 · Kolárik, Tomáš, Sharygina, Natasha · Zenodo (CERN European Organization for Nuclear Research)
Smt-comp 2026: Smts
2026 · Kolárik, Tomáš, Hyvärinen, Antti, et al. · Zenodo (CERN European Organization for Nuclear Research)
Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Arithmetic Over the Reals
2026 · Tomáš Kolárik, Stefan Ratschan, et al. · SN Computer Science
Parallel SMT Solving via Iterative Tree Partitioning: Artifact
2026 · Kolárik, Tomáš, Hyvärinen, Antti, et al. · Zenodo (CERN European Organization for Nuclear Research)
Parallel SMT Solving via Iterative Tree Partitioning
2026 · Tomáš Kolárik, Antti E. J. Hyvärinen, et al. · Lecture notes in computer science
PDF
Formally Explaining Neural Network Classification
2026 · Tomáš Kolárik, Grigory Fedyukovich, et al. · Lecture notes in computer science
PDF
Boolean Satisfiability Modulo Differential Equation Simulations
2024 · Kolárik, Tomáš · Cvut DSpace (Czech Technical University)
Works count: 22
Citation count: 15
H-index: 3
I10-index:
Year
Topic
Type