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

2023 Academic article
Feasibility Jump: an LP-free Lagrangian MIP heuristic
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 Read publication
2021 Academic article
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics Read publication

More publications

2023 Academic article
Automated Planning for Inspection and Maintenance operations using Unmanned Ground Vehicles
2023 Academic article
An Optimization-Based Decision Support Tool for Incremental Train Timetabling
2022 Academic article
Planning Autonomous Marine Inspection Tasks Using SMT Encoding of Timelines

Other

2023 Academic lecture
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 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

More publications

Other

Contact info