Towards Improving Merging Heuristics for Binary Decision Diagrams (bibtex)
by ,
Reference:
Towards Improving Merging Heuristics for Binary Decision DiagramsNikolaus Frohner, Günther R. RaidlProceedings of LION 13 – 13th International Conference on Learning and Intelligent Optimization, 2019, Springer.Note: to appear
Bibtex Entry:
@inproceedings{frohner-19a,
	author = {Nikolaus Frohner and G{\"{u}}nther R. Raidl},
	title = {Towards Improving Merging Heuristics for Binary Decision Diagrams},
	booktitle = {Proceedings of LION~13 -- 13th International Conference on Learning and Intelligent Optimization},
	series = {Lecture Notes in Computer Science},
	publisher = {Springer},
	year = {2019},
	note = {to appear}
}
Powered by bibtexbrowser