MaxSAT Evaluation 2018: New Developments and Detailed Results.

Fahiem Bacchus Matti Järvisalo Ruben Martins

Published in: J. Satisf. Boolean Model. Comput. (2019)

Keyphrases

upper bound
gold standard
evaluation methods
comparative evaluation
image processing
image sequences
real time
databases
artificial intelligence
decision making
database systems
computational complexity
empirical evaluation
evaluation metrics
evaluation process