TY  - RPRT
TI  - Railway Scheduling Using Boolean Satisfiability Modulo Simulations
AU  - Tomáš Kolárik
AU  - Stefan Ratschan
PY  - 2022
UR  - https://arxiv.org/abs/2212.05382
ID  - 2212.05382
ER  -