Balyo, T., Barták, R. and Trunda, O. 2015. REINFORCED ENCODING FOR PLANNING AS SAT. Acta Polytechnica CTU Proceedings. 2, 2 (Dec. 2015), 1–7. DOI:https://doi.org/10.14311/APP.2015.1.0001.