Balyo, Tomáš, Roman Barták, and Otakar Trunda. 2015. “REINFORCED ENCODING FOR PLANNING AS SAT”. Acta Polytechnica CTU Proceedings 2 (2):1-7. https://doi.org/10.14311/APP.2015.1.0001.