@inproceedings{DarwicheICAPS05},
author = {H. Palacios, B. Bonet, A. Darwiche, H. Geffner},
title = {Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations},
booktitle = {Proceedings of the 15th International Conference on Planning and Scheduling (ICAPS)},
pages = {141--150},
publisher = {AAAI Press},
address = {Monterey},
year = {2005}
}