Login / Signup
Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends.
Marcel Steinmetz
Jörg Hoffmann
Published in:
AAAI (2016)
Keyphrases
</>
learning algorithm
reinforcement learning
state space search
genetic algorithm