Magnus O. Myreen

4 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2 CP ×2

Frequent coauthors

Jakob Nordström

×4

Andy Oertel

×4

Yong Kiam Tan

×4

Wietze Koops

×3

Ciaran McCreesh

×2

Simon Dold

×1

George Katsirelos

×1

Markus Anders

×1

Bart Bogaerts

×1

Benjamin Bogø

×1

Arthur Gontier

×1

Adrian Rebola-Pardo

×1

Papers

End-to-End Certified Graph Colouring
CP 2026 ·
Simon Dold
,
George Katsirelos
,
Wietze Koops
, Magnus O. Myreen,
Jakob Nordström
,
Andy Oertel
,
Yong Kiam Tan
Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables
AAAI 2026 ·
Markus Anders
,
Bart Bogaerts
,
Benjamin Bogø
,
Arthur Gontier
,
Wietze Koops
,
Ciaran McCreesh
, Magnus O. Myreen,
Jakob Nordström
,
Andy Oertel
,
Adrian Rebola-Pardo
,
Yong Kiam Tan
Practically Feasible Proof Logging for Pseudo-Boolean Optimization
CP 2025 ·
Wietze Koops
,
Daniel Le Berre
, Magnus O. Myreen,
Jakob Nordström
,
Andy Oertel
,
Yong Kiam Tan
,
Marc Vinyals
End-to-End Verification for Subgraph Solving
AAAI 2024 ·
Stephan Gocht
,
Ciaran McCreesh
, Magnus O. Myreen,
Jakob Nordström
,
Andy Oertel
,
Yong Kiam Tan