Login / Signup
SAT Encodings of State-Space Reachability Problems in Numeric Domains.
Jörg Hoffmann
Carla P. Gomes
Bart Selman
Henry A. Kautz
Published in:
IJCAI (2007)
Keyphrases
</>
state space
reinforcement learning
np complete
solving problems
learning algorithm
combinatorial problems
sat encodings
lower bound
domain independent
planning problems