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