S. To, T. Son, and E. Pontelli, “A New Approach to Conformant Planning Using CNF∗”, ICAPS, vol. 20, no. 1, pp. 169-176, May 2021.