Tomás Kolárik

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 6

Top Topics

Boolean Satisfiability

Top Venues

Publications

Tomás Kolárik, Stefan Ratschan, Pavel Surynek
Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Real Arithmetic. ICAART (1) (2024)
Tomás Kolárik, Stefan Ratschan, Pavel Surynek
Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Real Arithmetic. CoRR (2023)
Tomás Kolárik, Stefan Ratschan
Railway Scheduling Using Boolean Satisfiability Modulo Simulations. FM (2023)
Tomás Kolárik, Stefan Ratschan
Railway Scheduling Using Boolean Satisfiability Modulo Simulations. CoRR (2022)
Tomás Kolárik, Stefan Ratschan
SAT Modulo Differential Equation Simulations. TAP@STAF (2020)
Tomás Kolárik, Ivo Malý, Zdenek Míkovec
Suppressing external visual distractors from driver's field of view. CogInfoCom (2018)