BOOM - a Boolean Minimizer

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

FIŠER, P. and J. HLAVIČKA. BOOM - a Boolean Minimizer. [Research Report] Praha: ČVUT FEL, Katedra počítačů, 2001. Report no. DC-2001-05.