QCDCL with Cube Learning or Pure Literal Elimination - What is best?

Olaf Beyersdorff Benjamin Böhm

Published in: Electron. Colloquium Comput. Complex. (2021)

Keyphrases

learning algorithm
knowledge acquisition
learning systems
website
concept learning
active learning
online learning
learning tasks
learning process
prior knowledge
learning scheme
database
inductive learning
incremental learning
mobile learning
reinforcement learning
bayesian networks
databases