Login / Signup
A Compact and Efficient SAT Encoding for Planning.
Nathan Robinson
Charles Gretton
Duc Nghia Pham
Abdul Sattar
Published in:
ICAPS (2008)
Keyphrases
</>
sat encodings
planning problems
evolutionary algorithm
heuristic search