SAT modulo discrete event simulation applied to railway design capacity analysis

Bjørnar Luteberget, Koen Claessen, Christian Johansen, Martin Steffen. SAT modulo discrete event simulation applied to railway design capacity analysis. Formal Methods in System Design, 57(2):211-245, 2021. [doi]

No reviews for this publication, yet.