Stronger Inference through Implied Literals from Conflicts and Knapsack Covers.

Tobias Achterberg Ashish Sabharwal Horst Samulowitz

Published in: CPAIOR (2013)

Keyphrases

knapsack problem
dynamic programming
inference process
bayesian inference
bayesian networks
cooperative
upper bound
answer sets
learning algorithm
structured prediction
bayesian model
conflict resolution
inductive logic programming
efficient learning
database
conditional random fields
case study
databases