Drawing with SAT: four methods and A tool for producing railway infrastructure schematics
Crossref DOI link: https://doi.org/10.1007/s00165-021-00566-z
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Luteberget, Bjørnar
Johansen, Christian
Text and Data Mining valid from 2021-12-01
Version of Record valid from 2021-10-20
Article History
Received: 16 June 2020
Revised: 11 January 2021
Accepted: 13 January 2021
First Online: 20 October 2021