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