Bjørnar Luteberget

Research Scientist

Unit:: SINTEF Digital
Department:: Mathematics and Cybernetics
Office:: Oslo

Working on automated reasoning, formal methods, and optimization, with applications in railways, power grid, architecture, and more. With a special interest in SAT-based algorithms and their applications in operations research.

Preprints and code at https://github.com/luteberget

Highlighted publications

2021 Academic article
SAT modulo discrete event simulation applied to railway design capacity analysis Read publication
2021 Academic article
Improving Online Railway Deadlock Detection using a Partial Order Reduction
2021 Academic article
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics
2017 Academic article
Efficient verification of railway infrastructure designs against standard regulations Read publication

Other publications

2023 Academic article
Feasibility Jump: an LP-free Lagrangian MIP heuristic
2022 Academic lecture
Large-scale real-time dispatching in the greater Oslo area
2022 Academic lecture
The Feasibility Jump: an LP-free Lagrangian MIP heuristic
2022 Academic lecture
The Feasibility Jump: an LP-free Lagrangian MIP heuristic
2022 Academic article
Planning Autonomous Marine Inspection Tasks Using SMT Encoding of Timelines
2022 Academic lecture
Planning Autonomous Marine Inspection Tasks Using SMT Encoding of Timelines

Contact info

Visiting address:
Forskningsveien 1
Oslo

Contact us

Our services

Career

Sustainability

Management and board

Institutes

Other units

About us

Follow us

Bjørnar Luteberget

Highlighted publications

Other publications

Contact info