Boosting Constrained Horn Solving by Unsat Core Learning.

Parosh Aziz Abdulla Chencheng Liang Philipp Rümmer

Published in: VMCAI (1) (2024)

Keyphrases

learning algorithm
learning systems
learning problems
knowledge acquisition
learning process
learning scheme
search algorithm
active learning
np hard
supervised learning
background knowledge
combinatorial optimization
learning tasks
inductive inference
solving problems