WPM3: An (in)complete algorithm for weighted partial MaxSAT.

Carlos Ansótegui Joel Gabàs

Published in: Artif. Intell. (2017)

Keyphrases

detection algorithm
learning algorithm
optimal solution
computational complexity
k means
probabilistic model
upper bound
e learning
lower bound
combinatorial optimization
recognition algorithm