Progress in Automatic Construction of Key-Lock Systems

Černoch, R., Hájíček, J., Železný, F.

ČERNOCH, R., J. HÁJÍČEK, and F. ŽELEZNÝ. Progress in Automatic Construction of Key-Lock Systems. [Research Report] Praha: ČVUT FEL, Katedra počítačů, 2014.