Automated Drawing of Railway Schematics Using Numerical Optimization in SAT.

Bjrnar Luteberget, Koen Claessen, Christian Johansen

Browse the full IFM paper archive.