A New Approach to Conformant Planning Using CNF∗