Analyzing the Instances of the MaxSAT Evaluation.

Josep Argelich Chu Min Li Felip Manyà Jordi Planes

Published in: SAT (2011)

Keyphrases

branch and bound algorithm
evaluation method
randomly generated
machine learning
artificial intelligence
search engine
information systems
expert systems
upper bound
np complete
combinatorial optimization
gold standard
test instances
stochastic local search