Fišer, P., & Hlavička, J. (2003). BOOM — A Heuristic Boolean Minimizer. Computing and Informatics, 22(1), 19–51. https://cai.type.sk/content/2003/1/boom-a-heuristic-boolean-minimizer/