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

Benjamin Böhm Tomás Peitl Olaf Beyersdorff

Published in: IJCAI (2022)

Keyphrases

learning process
learning systems
learning algorithm
inductive learning
information systems
reinforcement learning
online learning
image sequences
prior knowledge
hidden markov models
knowledge acquisition
incremental learning
learning models