"BMB synthesis of binary functions using symbolic functional decomposition ..."

Mariusz Wisniewski, Stanislaw Deniziak (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics