Proof-Number Search and Transpositions

M Schijff, LV Allis, JWHM Uiterwijk

Research output: Contribution to journalArticleAcademicpeer-review

12 Citations (Web of Science)
Original languageEnglish
Pages (from-to)63-74
JournalICCA Journal
Volume17
Issue number2
DOIs
Publication statusPublished - Jun 1994

Cite this