BOOM - A Heuristic Boolean Minimizer

Fišer, P., Hlavička, J.

FIŠER, P. and J. HLAVIČKA. BOOM - A Heuristic Boolean Minimizer. Computing and Informatics. 2003, 22(1), 19-51. ISSN 1335-9150.