Satisfiability and computing van der Waerden numbers

Michael R. Dransfield, Victor W. Marek, Mirosław Truszczyński

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

8 Scopus citations

Fingerprint

Dive into the research topics of 'Satisfiability and computing van der Waerden numbers'. Together they form a unique fingerprint.

Mathematics

Computer Science