Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning.

Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri

Browse the full IJCAI paper archive.