Further Explanations on "SAT Requires Exhaustive Search".

Qingxiu Dong Guangyan Zhou Ke Xu

Published in: CoRR (2024)

Keyphrases

exhaustive search
solution space
computational complexity
dynamic programming
brute force
search space
search methods
nearest neighbor search
simulated annealing
search algorithm
sat solvers
lower bound
orders of magnitude
satisfiability problem
computationally feasible
genetic algorithm