Longer-Term Memory in Clause Weighting Local Search for SAT.
Valnir Ferreira Jr.John ThorntonPublished in: Australian Conference on Artificial Intelligence (2004)
Keyphrases
- longer term
- long term
- search algorithm
- stochastic local search
- propositional satisfiability
- satisfiability testing
- search procedures
- search strategies
- sat solvers
- search space
- sat solving
- global search
- main memory
- max sat
- phase transition
- propositional logic
- random sat instances
- simulated annealing
- stochastic local search algorithms
- tabu search
- combinatorial optimization
- genetic algorithm
- satisfiability problem
- sat instances
- automated reasoning
- memory usage
- variable ordering
- computer assisted
- memetic algorithm
- search procedure