Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems.

Martin von Berg Arthur Sanin Christoph Beierle

Published in: FoIKS (2024)

Keyphrases

data sets
optimization problems
logic programming
combinatorial optimization
bayesian inference
solving problems
genetic algorithm
search algorithm
probabilistic inference
problems involving