S. Gocht and T. Balyo, “Accelerating SAT Based Planning with Incremental SAT Solving”, ICAPS, vol. 27, no. 1, pp. 135–139, Jun. 2017.