Published November 21, 2022
| Version v1
Software
Open
Railway Scheduling Using Boolean Satisfiability Modulo Simulations
Authors/Creators
- 1. FIT CTU in Prague
- 2. Institute of Computer Science of the Czech Academy of Sciences
Description
Artifact evaluation for the case study submission to FM2023 conference.
Files
Files
(450.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1b420abf0433c3e5519473122d1718ed
|
450.3 MB | Download |