To, S. et al. 2010. A New Approach to Conformant Planning Using CNF∗. Proceedings of the International Conference on Automated Planning and Scheduling. 20, 1 (May 2010), 169–176. DOI:https://doi.org/10.1609/icaps.v20i1.13425.