Drawing with SAT: four methods and A tool for producing railway infrastructure schematics
Read publication
Category
Academic article
Language
English
Author(s)
- Bjørnar Luteberget
- Christian Johansen
Affiliation
- SINTEF Digital / Mathematics and Cybernetics
- Norwegian University of Science and Technology
Year
2021Published in
Formal Aspects of Computing
ISSN
0934-5043
Volume
33
Page(s)
829 - 854