Algorithms for SAT Based on Search in Hamming Balls.
Evgeny DantsinEdward A. HirschAlexander WolpertPublished in: STACS (2004)
Keyphrases
- orders of magnitude
- search algorithm
- data structure
- search strategies
- constraint solver
- hill climbing
- search methods
- theoretical analysis
- computationally efficient
- computational cost
- significant improvement
- combinatorial optimization
- solution space
- answer set programming
- exhaustive search
- depth first search
- version space