Towards Improving Merging Heuristics for Binary Decision Diagrams

Frohner, Nikolaus; Raidl, Günther R.

by Nikolaus Frohner, Günther R. Raidl

Reference:

Towards Improving Merging Heuristics for Binary Decision DiagramsNikolaus Frohner, Günther R. RaidlLearning 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.

Bibtex Entry:

@inproceedings{frohner-19a,
	author = {Nikolaus Frohner and G{\"{u}}nther R. Raidl},
	title = {Towards Improving Merging Heuristics for Binary Decision Diagrams},
	booktitle = {Learning and Intelligent Optimization -- 13th International Conference, LION 13},
    editor="Nikolaos F. Matsatsinis and Yannis Marinakis and Panos Pardalos",
	series = {LNCS},
	publisher = {Springer},
	year = {2019},
	volume = {11968},
	pages = {30--45},
  url={https://www.ac.tuwien.ac.at/files/pub/frohner-19a.pdf},
}