%0 Journal Article %1 journals/aai/CernochKZ16 %A Cernoch, Radomír %A Kuzelka, Ondrej %A Zelezný, Filip %D 2016 %J Appl. Artif. Intell. %K dblp %N 10 %P 923-941 %T Polynomial and Extensible Solutions in Lock-Chart Solving. %U http://dblp.uni-trier.de/db/journals/aai/aai30.html#CernochKZ16 %V 30

@article{journals/aai/CernochKZ16, added-at = {2020-10-26T00:00:00.000+0100}, author = {Cernoch, Radomír and Kuzelka, Ondrej and Zelezný, Filip}, biburl = {https://www.bibsonomy.org/bibtex/224ca1f3dd9dd156c4313649e7e371a8c/dblp}, ee = {https://www.wikidata.org/entity/Q58298219}, interhash = {e7bf669c2bcca7869e464885ec72cba0}, intrahash = {24ca1f3dd9dd156c4313649e7e371a8c}, journal = {Appl. Artif. Intell.}, keywords = {dblp}, number = 10, pages = {923-941}, timestamp = {2020-10-27T11:43:16.000+0100}, title = {Polynomial and Extensible Solutions in Lock-Chart Solving.}, url = {http://dblp.uni-trier.de/db/journals/aai/aai30.html#CernochKZ16}, volume = 30, year = 2016 }