Search

Einar Broch Johnsen

Einar Broch Johnsen

Home
Talks
Publications
Recent All
Projects
Sirius
Service
Courses
Contact

Light Dark Automatic

Jacopo Mauro

Joint Papers

Lazy Product Discovery in Huge Configuration Spaces
Release the Beasts: When Formal Methods Meet Real World Data
Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies

© 2023 Einar Broch Johnsen. This work is licensed under CC BY NC ND 4.0

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite