Proof-Number Search and Transpositions

M Schijff, LV Allis, JWHM Uiterwijk

Research output: Contribution to journalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)63-74
JournalICCA Journal
Volume17
Issue number2
Publication statusPublished - Jun 1994

Cite this

Schijff, M., Allis, LV., & Uiterwijk, JWHM. (1994). Proof-Number Search and Transpositions. ICCA Journal, 17(2), 63-74.