Keyphrases
- greedy algorithms
- max sat
- lower bound
- greedy algorithm
- search algorithm
- upper bound
- worst case
- branch and bound algorithm
- weighted max sat
- branch and bound
- sat solvers
- satisfiability problem
- knapsack problem
- objective function
- tabu search
- maximum satisfiability
- stochastic local search
- cnf formula
- boolean satisfiability
- sat problem
- unsatisfiable cores
- np hard
- variable ordering
- optimal solution
- machine learning
- constraint satisfaction
- column generation
- randomly generated
- cellular automata
- information retrieval systems
- dynamic programming
- neural network