-SAT.

Zongchen Chen Nitya Mani

Published in: SODA (2023)

Keyphrases

sat solvers
satisfiability problem
sat problem
propositional satisfiability
max sat
stochastic local search
search algorithm
boolean satisfiability
stochastic local search algorithms
sat solving
phase transition
sat instances
sat encodings
np complete
constraint programming
np complete problems
search space