A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems.
Brian BorchersJudith FurmanPublished in: J. Comb. Optim. (1998)
Keyphrases
- weighted max sat
- max sat
- graph coloring
- maximum satisfiability
- dynamic programming
- sat solvers
- search space
- objective function
- learning algorithm
- cost function
- propositional satisfiability
- information retrieval
- computational complexity
- neural network
- particle swarm optimization
- search algorithm
- randomly generated
- cnf formula
- reinforcement learning