SAT-based MaxSAT algorithms.

Carlos Ansótegui Maria Luisa Bonet Jordi Levy

Published in: Artif. Intell. (2013)

Keyphrases

data structure
significant improvement
theoretical analysis
orders of magnitude
learning algorithm
computational complexity
upper bound
machine learning
reinforcement learning
multi agent systems
computational cost
machine learning algorithms
combinatorial optimization
answer set programming