> KBSS
> STILL
> IDA
> AIC
Kuneš, M.
KUNEŠ, M. Invariable Generation of Benchmark Circuits. In: Poster 2003. Prague, 2003-05-22. Praha: České vysoké učení technické v Praze, Fakulta elektrotechnická, 2003. p. IC23.