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

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

Cite this

Winands, M. H. M., Uiterwijk, J. W. H. M., & van den Herik, H. J. (2004). An effective two-level proof-number search algorithm. Theoretical Computer Science, 313(3), 511-525.
Winands, M.H.M. ; Uiterwijk, J.W.H.M. ; van den Herik, H.J. / An effective two-level proof-number search algorithm. In: Theoretical Computer Science. 2004 ; Vol. 313, No. 3. pp. 511-525.
@article{d4927bec286f47a49c0b66f43fe4cedd,
title = "An effective two-level proof-number search algorithm",
author = "M.H.M. Winands and J.W.H.M. Uiterwijk and {van den Herik}, H.J.",
note = "Pagination: 15",
year = "2004",
language = "English",
volume = "313",
pages = "511--525",
journal = "Theoretical Computer Science",
issn = "0304-3975",
publisher = "Elsevier",
number = "3",

}

Winands, MHM, Uiterwijk, JWHM & van den Herik, HJ 2004, 'An effective two-level proof-number search algorithm', Theoretical Computer Science, vol. 313, no. 3, pp. 511-525.

An effective two-level proof-number search algorithm. / Winands, M.H.M.; Uiterwijk, J.W.H.M.; van den Herik, H.J.

In: Theoretical Computer Science, Vol. 313, No. 3, 2004, p. 511-525.

Research output: Contribution to journalArticleProfessional

TY - JOUR

T1 - An effective two-level proof-number search algorithm

AU - Winands, M.H.M.

AU - Uiterwijk, J.W.H.M.

AU - van den Herik, H.J.

N1 - Pagination: 15

PY - 2004

Y1 - 2004

M3 - Article

VL - 313

SP - 511

EP - 525

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

IS - 3

ER -

Winands MHM, Uiterwijk JWHM, van den Herik HJ. An effective two-level proof-number search algorithm. Theoretical Computer Science. 2004;313(3):511-525.