LPSAT
From: The Planning Group, University of Washington
Resource Type:
Code
License:
Other/Unknown
Language:
Data Format:
Description
A metric resource planner, which solves planning problems by compiling them to a combination of linear inequalities and SAT formulas.
Categorized in: Representation and Reasoning | Planning & Scheduling
Post comment
Cancel