Balyo T, Barták R, Trunda O. REINFORCED ENCODING FOR PLANNING AS SAT. APP [Internet]. 2015 Dec. 31 [cited 2024 Apr. 28];2(2):1-7. Available from: https://ojs.cvut.cz/ojs/index.php/APP/article/view/3392