Advanced Search Tips

LPSAT

Submitted by on Jun 18 2014 Suggest Revision
By: Steven Wolfman, Daniel Weld
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.
Post comment
Cancel