@inproceedings {molnar_majzik_minisy17,
	title = {Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach},
	booktitle = {Proceedings of the 24th PhD Mini-Symposium},
	year = {2017},
	pages = {54{\textendash}57},
	address = {Budapest, Hungary},
	isbn = {978-963-313-243-2},
	author = {Vince Moln{\'a}r and Istv{\'a}n Majzik},
	editor = {Pataki, B{\'e}la}
}
