A New Approach to Conformant Planning Using CNF∗

Open in new window