T. Balyo, R. Barták, and O. Trunda, “REINFORCED ENCODING FOR PLANNING AS SAT”, APP, vol. 2, no. 2, pp. 1–7, Dec. 2015.