DISTANCE-SAT: Complexity and Algorithms.
Olivier BailleuxPierre MarquisPublished in: AAAI/IAAI (1999)
Keyphrases
- computational complexity
- worst case
- high computational complexity
- computational cost
- complexity analysis
- orders of magnitude
- lower complexity
- computationally efficient
- space complexity
- significant improvement
- stochastic local search
- theoretical analysis
- distance function
- decision problems
- times faster
- search methods
- max sat
- learning algorithm