A multilevel learning automata for MAX-SAT.
Noureddine BouhmalaPublished in: Int. J. Mach. Learn. Cybern. (2015)
Keyphrases
- learning automata
- max sat
- weighted max sat
- lower bound
- sat solvers
- branch and bound algorithm
- tabu search
- pursuit algorithm
- search algorithm
- genetic algorithm
- learning automaton
- satisfiability problem
- reinforcement learning
- sat problem
- branch and bound
- maximum satisfiability
- constraint satisfaction
- linear programming
- stochastic local search
- max sat solver
- objective function
- cnf formula
- boolean satisfiability
- search space
- search tree
- variable ordering
- np hard
- learning algorithm
- neural network
- simulated annealing
- constraint satisfaction problems