Gocht, S.; Balyo, T. Accelerating SAT Based Planning With Incremental SAT Solving. ICAPS 2017, 27, 135-139.