Gocht, Stephan, and Tomáš Balyo. 2017. “Accelerating SAT Based Planning With Incremental SAT Solving”. Proceedings of the International Conference on Automated Planning and Scheduling 27 (1):135-39. https://doi.org/10.1609/icaps.v27i1.13798.