This page shows all presentations of this author published in EasyChair Smart Slide.
Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation
Bjørnar Luteberget, Koen Claessen and Christian Johansen
Efficient encodings of first-order Horn formulas in equational logic
Nicholas Smallbone and Koen Claessen