Search
Skip to Search Results
Filter
Author / Creator / Contributor
Subject / Keyword
Year
Collections
Languages
Item type
Departments
Supervisors
-
Spring 2019
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