Search

Skip to Search Results
  • Spring 2019

    David Spies

    We examine various techniques in SAT-based (Satisfiability) planningand explore how they can be applied and further improved in the contextof ASP (Answer Set Programming). First, we look at the 2006 plannerSATPlan and show that their encoding, when translated directly intoASP, enjoys a...

1 - 1 of 1