> KBSS
> STILL
> IDA
> AIC
Železný, F., Kuželka, O., Holec, M., Černoch, R., Matas, J.
ŽELEZNÝ, F., et al. Key/Lock system computation: progress report. [Research Report] 2013.