Ellmauthaler, S., Gaggl, S. A., Rusovac, D., & Wallner, J. P. (2022). ADF-BDD: An ADF Solver Based on Binary Decision Diagrams [Conference paper]