An effective two-level proof-number search algorithm

M.H.M. Winands, J.W.H.M. Uiterwijk, H.J. van den Herik

Research output: Contribution to journalArticleProfessional

9 Citations (Scopus)
Original languageEnglish
Pages (from-to)511-525
Number of pages15
JournalTheoretical Computer Science
Volume313
Issue number3
Publication statusPublished - 2004
Externally publishedYes

Cite this