Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings

Open in new window