Enhancing Local-search based SAT Solvers with Learning Capability.
Ole-Christoffer GranmoNoureddine BouhmalaPublished in: ICAART (1) (2010)
Keyphrases
- learning capabilities
- sat solvers
- propositional satisfiability
- search space
- clause learning
- search strategies
- sat solving
- backtrack search
- orders of magnitude
- learning strategies
- neural network
- max sat
- constraint satisfaction
- information processing
- search algorithm
- multi agent systems
- sat problem
- fuzzy neural network
- sat instances
- boolean satisfiability
- reinforcement learning
- learning mechanism
- fuzzy logic
- search strategy
- fuzzy systems
- stochastic local search
- combinatorial optimization
- branch and bound
- propositional logic
- tabu search
- learning process
- genetic algorithm
- automated reasoning
- heuristic search
- simulated annealing
- constraint programming
- fuzzy rules
- metaheuristic