SAT, Local Search Dynamics and Density of States.
Meriema BelaidouniJin-Kao HaoPublished in: Artificial Evolution (2001)
Keyphrases
- stochastic local search
- search algorithm
- propositional satisfiability
- satisfiability testing
- search strategies
- genetic algorithm
- search procedures
- initial conditions
- satisfiability problem
- sat solvers
- random sat instances
- search space
- memetic algorithm
- phase transition
- dynamical systems
- sat problem
- systematic search
- sat solving
- simulated annealing
- tabu search
- propositional logic
- combinatorial optimization
- search procedure
- state transitions
- density function
- dynamic model
- randomly generated
- constraint programming
- neural network
- job shop scheduling problem
- search problems
- sat instances
- orders of magnitude
- boolean satisfiability