BALYO, T.; BARTÁK, R.; TRUNDA, O. REINFORCED ENCODING FOR PLANNING AS SAT. Acta Polytechnica CTU Proceedings, [S. l.], v. 2, n. 2, p. 1–7, 2015. DOI: 10.14311/APP.2015.1.0001. Disponível em: https://ojs.cvut.cz/ojs/index.php/APP/article/view/3392. Acesso em: 27 apr. 2024.