Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning