Balyo, T.; Barták, R.; Trunda, O. REINFORCED ENCODING FOR PLANNING AS SAT. APP 2015, 2, 1-7.