Balyo, Tomáš, Roman Barták, and Otakar Trunda. “REINFORCED ENCODING FOR PLANNING AS SAT”. Acta Polytechnica CTU Proceedings 2, no. 2 (December 31, 2015): 1–7. Accessed April 28, 2024. https://ojs.cvut.cz/ojs/index.php/APP/article/view/3392.