Alessandro Cimatti Marco Roveri Conformant Planning via Symbolic Model Checking http://arxiv.org/abs/1106.0252 2011 CoRR abs/1106.0252 db/journals/corr/corr1106.html#abs-1106-0252