Evaluating the Claims of "SAT Requires Exhaustive Search".

Michael C. Chavrimootoo Yumeng He Matan Kotler-Berkowitz Harry Liuson Zeyu Nie

Published in: CoRR (2023)

Keyphrases

exhaustive search
search methods
computational complexity
nearest neighbor search
search space
brute force
search algorithm
dynamic programming
solution space
computationally feasible
lower bound
satisfiability problem
simulated annealing
sat solvers
optimal solution
machine learning
objective function
max sat