Sign In / Register
Please sign in to interact with this page. There is no need to register for an account, simply enter your name to stay signed in for 24 hours and you will be able to make a maximum of 10 likes and 5 comments during your time signed in.
on Jun 18 2014
Steven Wolfman, Daniel Weld
The Planning Group, University of Washington
A metric resource planner, which solves planning problems by compiling them to a combination of linear inequalities and SAT formulas.
Representation and Reasoning
Planning & Scheduling
Sign in to Comment
Copyright © 2015, AI Access Foundation. All rights reserved.