Satisfiability and computing van der Waerden numbers

Michael R. Dransfield V. Wiktor Marek Miroslaw Truszczynski

Published in: CoRR (2003)

Keyphrases

van der
satisfiability problem
propositional logic
multiscale
machine learning
artificial intelligence
search algorithm
np complete
phase transition
sat problem