Drawing with SAT: four methods and a tool for producing railway infrastructure schematics

DOI10.1007/s00165-021-00566-zOpenAlexW3213738959MaRDI QIDQ2065524

Bjørnar Luteberget, Christian Johansen

Publication date: 11 January 2022

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-021-00566-z

zbMATH Keywords

mapsoptimizationrailwayqualitySATrailplotschematics

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• MiniSat
• railML
• RailCOMPLETE

This page was built for publication: Drawing with SAT: four methods and a tool for producing railway infrastructure schematics