Satisfiability and Computing van der Waerden Numbers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski. Satisfiability and Computing van der Waerden Numbers. Electr. J. Comb., 11(1), 2004. [doi]

This author has not been identified. Look up 'Michael R. Dransfield' in GoogleThis author has not been identified. Look up 'Lengning Liu' in GoogleThis author has not been identified. Look up 'Victor W. Marek' in GoogleThis author has not been identified. Look up 'Miroslaw Truszczynski' in Google

runs on WebDSL