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 and Yannis Marinakis and Panos Pardalos), 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.