Automated design of combinatorial logic circuits. - Iva Brajer; Domagoj Jakobovic (MIPRO, 2012)