Green-Tao Numbers and SAT.

Oliver Kullmann

Published in: SAT (2010)

Keyphrases

sat solvers
satisfiability problem
sat problem
search algorithm
phase transition
stochastic local search
boolean satisfiability
real numbers
stochastic local search algorithms
database
optimal solution
search strategies
propositional satisfiability
variable ordering
modulo theories