H.: Pruning conformant plans by counting models on compiled d-DNNF representations (2005)

by H Palacios, B Bonet, A Darwiche, Geffner
Venue:In: Proceedings of the 15th International Conference on Automated Planning and Scheduling