Return to Article Details Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings Download Download PDF