Pruning conformant plans by counting models on compiled dDNNF representations (2005)

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