Login / Signup
Evaluation Strategies for Planning as Satisfiability.
Jussi Rintanen
Published in:
ECAI (2004)
Keyphrases
</>
database
search strategies
satisfiability problem
evaluation criteria
sat solving
data sets
neural network
learning algorithm
decision making
lower bound
evaluation measures
optimal strategy
planning domains
planning process
decision procedures