Browsing Publikasjoner fra CRIStin - SINTEF AS by Journals "Formal methods in system design"
Now showing items 1-1 of 1
-
SAT modulo discrete event simulation applied to railway design capacity analysis
(Peer reviewed; Journal article, 2021)This paper proposes a new method of combining SAT with discrete event simulation. This new integration proved useful for designing a solver for capacity analysis in early phase railway construction design. Railway capacity ...