Improved Local Search for Circuit Satisfiability.
Anton BelovZbigniew StachniakPublished in: SAT (2010)
Keyphrases
- satisfiability testing
- high speed
- genetic algorithm
- stochastic local search
- circuit design
- memetic algorithm
- search algorithm
- simulated annealing
- np complete
- tabu search
- combinatorial optimization
- phase transition
- satisfiability problem
- computational complexity
- electronic circuits
- knowledge representation
- improved algorithm
- propositional logic
- optimal solution
- real time