Learning Variable Activity Initialisation for Lazy Clause Generation Solvers.

Ronald van Driel Emir Demirovic Neil Yorke-Smith

Published in: CPAIOR (2021)

Keyphrases

learning process
learning algorithm
prior knowledge
active learning
online learning
lazy learning
mobile robot
knowledge acquisition
learning systems
neural network
reinforcement learning
unsupervised learning
learning experience
background knowledge
learning problems