Experimenting with the Instances of the MaxSAT Evaluation.

Josep Argelich Chu Min Li Felip Manyà Jordi Planes

Published in: CCIA (2011)

Keyphrases

randomly generated
upper bound
branch and bound algorithm
evaluation process
databases
real world
information systems
decision trees
evaluation method
maximum satisfiability