Nearly all k-SAT functions are unate.

József Balogh Dingding Dong Bernard Lidický Nitya Mani Yufei Zhao

Published in: CoRR (2022)

Keyphrases

search algorithm
phase transition
databases
neural network
satisfiability problem
sat problem
stochastic local search
real time
orders of magnitude
search strategies
sat solvers
stochastic local search algorithms