Petr Fiser Jan Hlavicka BOOM - A Heuristic Boolean Minimizer. 2003 22 Computers and Artificial Intelligence 1 db/journals/cai/cai22.html#FiserH03