Exact Ramsey Theory: Green-Tao numbers and SAT

Oliver Kullmann

Published in: CoRR (2010)

Keyphrases

computational model
theoretical framework
information theory
satisfiability problem
theoretical basis
real time
genetic algorithm
search algorithm
real numbers