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