SAT modulo discrete event simulation applied to railway design capacity analysis

Author(s)

• Bjørnar Luteberget
• Koen Claessen
• Christian Johansen
• Martin Steffen

Affiliation

• SINTEF Digital / Mathematics and Cybernetics
• Chalmers University of Technology
• Norwegian University of Science and Technology
• University of Oslo

DOI

Read fulltext