Learning Shorter Redundant Clauses in SDCL Using MaxSAT.

Albert Oliveras Chunxiao Li Darryl Wu Jonathan Chung Vijay Ganesh

Published in: SAT (2023)

Keyphrases

reinforcement learning
prior knowledge
online learning
learning systems
learning algorithm
active learning
learning scheme
decision trees
objective function
evolutionary algorithm
upper bound
knowledge acquisition
unsupervised learning
tabu search
learning problems
consequence finding