> KBSS
> STILL
> IDA
> AIC
Železný, F., Černoch, R.
ŽELEZNÝ, F. and R. ČERNOCH. Lock-chart Solving Algorithm Testbed. [Software] 2017.
URL: https://dspace.cvut.cz/handle/10467/73582