On the Use of Prime Implicates in Conformant Planning

Open in new window