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