Deterministic search for CNF satisfying assignments in almost polynomial time.

Rocco A. Servedio Li-Yang Tan

Published in: CoRR (2018)

Keyphrases

objective function
search algorithm
lower bound
search space
search efficiency
search strategy
computational complexity
special case
np complete
boolean functions
search queries