Fast Algorithms for SAT with Bounded Occurrences of Variables.

Junqiang Peng Mingyu Xiao

Published in: IJCAI (2023)

Keyphrases

theoretical analysis
significant improvement
orders of magnitude
learning algorithm
search algorithm
computational cost
benchmark datasets
stochastic local search algorithms
data sets
probability distribution
state space
worst case
data mining techniques
satisfiability problem