Michael R. Dransfield

Identifiers

No identifiers captured yet.

Papers (1)

1. Satisfiability and computing van der Waerden numbers cs.LO · 2003 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Miroslaw Truszczynski 1 shared papers
• Victor W. Marek 1 shared papers