Deterministic Search for CNF Satisfying Assignments in Almost Polynomial Time.

Rocco A. Servedio Li-Yang Tan

Published in: FOCS (2017)

Keyphrases

search algorithm
search efficiency
search space
special case
search strategy
search strategies
computational complexity
approximation algorithms
boolean functions