Super Strong ETH is False for Random k-SAT.

Published in: CoRR (2018)

Keyphrases

satisfiability problem
search algorithm
information systems
sat solvers
sat solving
high level
search strategies
stochastic local search
boolean satisfiability
evolutionary algorithm
search problems
sat problem
search procedures