Fišer, Petr, and Jan Hlavička. 2012. “BOOM - A Heuristic Boolean Minimizer”. COMPUTING AND INFORMATICS 22 (1):19-51. https://www.cai.sk/ojs/index.php/cai/article/view/450.