Clause Size Reduction with all-UIP Learning.

Nick Feng Fahiem Bacchus

Published in: SAT (2020)

Keyphrases

learning algorithm
reinforcement learning
learning tasks
learning process
incremental learning
inductive learning
real time
learning systems
data mining
search algorithm
supervised learning
online learning
knowledge acquisition
learning problems
learning scenarios
boolean functions