Railway Scheduling Using Boolean Satisfiability Modulo Simulations.

Toms Kolrik, Stefan Ratschan

Browse the full FM paper archive.