C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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