Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT.

Jo Devriendt Bart Bogaerts Maurice Bruynooghe

Published in: SAT (2017)

Keyphrases

learning algorithm
learning systems
learning tasks
learning scheme
reinforcement learning
learning process
supervised learning
dynamic environments
explanation based learning
learning community
learning problems
unsupervised learning
search strategies
active learning
high quality
inductive inference
training data