Polynomial and Extensible Solutions in Lock-Chart Solving

Černoch, R., Kuželka, O., Železný, F.

ČERNOCH, R., O. KUŽELKA, and F. ŽELEZNÝ. Polynomial and Extensible Solutions in Lock-Chart Solving. Applied Artificial Intelligence. 2016, 30(10), 923-941. ISSN 0883-9514. DOI 10.1080/08839514.2017.1279110.