Invariant Modifications for Generation of Benchmark Circuits

Kuneš, M., Daněk, M.

KUNEŠ, M. and M. DANĚK. Invariant Modifications for Generation of Benchmark Circuits. In: Proceedings of Workshop 2003. Workshop 2003, Praha, 2003-02-10/2003-02-12. Praha: Czech Technical University in Prague, 2003. p. 374-375. ISBN 80-01-02708-2.