Towards Improving Merging Heuristics for Binary Decision Diagrams

Nikolaus Frohner, Günther Raidl
January 2019
PDF bib

Abstract

Full Citation:

Nikolaus Frohner, Günther R. Raidl. Towards Improving Merging Heuristics for Binary Decision Diagrams. Learning and Intelligent Optimization – 13th International Conference, LION 13 (Nikolaos F. Matsatsinis, Yannis Marinakis, Panos Pardalos, eds.), volume 11968 of LNCS, pages 30–45, 2019, Springer.

Type
Conference Paper
Günther Raidl
Günther Raidl

Günther Raidl is a Professor at the Algorithms and Complexity Group.