From algorithms to connectivity and back: finding a giant component in random k-SAT.

Zongchen Chen Nitya Mani Ankur Moitra

Published in: CoRR (2022)

Keyphrases

times faster
orders of magnitude
recently developed
data structure
search algorithm
computational cost
optimization problems
computationally efficient
graph theory
search problems