EasyChair Smart Slide
Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation
Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation