Login / Signup
Satisfiability and Computing van der Waerden Numbers.
Michael R. Dransfield
Lengning Liu
Victor W. Marek
Miroslaw Truszczynski
Published in:
Electron. J. Comb. (2004)
Keyphrases
</>
van der
satisfiability problem
computational complexity
phase transition
real time
neural network
information retrieval
propositional logic