A Fast Algorithm for SAT in Terms of Formula Length.

Junqiang Peng Mingyu Xiao

Published in: CoRR (2021)

Keyphrases

sat problem
co occurrence
np complete
orders of magnitude
satisfiability problem
computational complexity
propositional satisfiability