Norsk English
Ansatt

Bjørnar Luteberget

Forsker
Last ned
Bjørnar Luteberget
Enhet:
SINTEF Digital
Avdeling:
Mathematics and Cybernetics
Kontorsted:
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

Fremhevede publikasjoner

Flere publikasjoner

Vis alle publikasjoner hos Cristin

Annen formidling

Vis alle publikasjoner hos Cristin

Kontaktinformasjon

Besøksadresse:
Forskningsveien 1
Oslo