Keyphrases
- lower bound
- max sat
- branch and bound algorithm
- upper bound
- branch and bound
- weighted max sat
- strongly connected components
- np hard
- tabu search
- objective function
- linear programming
- neural network
- relevance feedback
- special case
- satisfiability problem
- sat problem
- search algorithm
- variable ordering
- optimal solution
- unsatisfiable cores