Algorithms for SAT based on search in Hamming balls
Evgeny DantsinEdward A. HirschAlexander WolpertPublished in: Electron. Colloquium Comput. Complex. (2003)
Keyphrases
- exhaustive search
- computational complexity
- search methods
- search space
- computationally efficient
- constraint solver
- search problems
- hill climbing
- search strategies
- theoretical analysis
- computational cost
- search algorithm
- np complete
- data structure
- learning algorithm
- heuristic search algorithms
- orders of magnitude
- significant improvement
- evolutionary algorithm
- information retrieval