SAT modulo discrete event simulation applied to railway design capacity analysis
Crossref DOI link: https://doi.org/10.1007/s10703-021-00368-2
Published Online: 2021-03-31
Published Print: 2021-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Luteberget, Bjørnar
Claessen, Koen
Johansen, Christian
Steffen, Martin
Funding for this research was provided by:
SINTEF AS
Text and Data Mining valid from 2021-03-31
Version of Record valid from 2021-03-31
Article History
Accepted: 19 March 2021
First Online: 31 March 2021