Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula

Open in new window