MaxSAT-Based MCS Enumeration.

António Morgado Mark H. Liffiton João Marques-Silva

Published in: Haifa Verification Conference (2012)

Keyphrases

upper bound
combinatorial optimization
branch and bound algorithm
sat solvers
search space
multiple classifier systems
dynamic programming
sat problem
artificial intelligence
database
databases
constraint satisfaction
neural network
special case
branch and bound
boolean satisfiability