Combining proof-number search with alpha-beta search

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

Original languageEnglish
Title of host publicationBNAIC'01
Subtitle of host publicationProceedings of the 13th Belgium-Netherlands conference on artificial intelligence, Amsterdam, October 25-26, 2001
EditorsB. Kröse, M. de Rijke, G. Schreiber, M. van Someren
Place of PublicationAmsterdam
PublisherUniversiteit van Amsterdam
Pages299-306
Number of pages8
Volume13
Publication statusPublished - 2001
Externally publishedYes

Publication series

Name
Volume13

Cite this

Winands, M. H. M., Uiterwijk, J. W. H. M., & van den Herik, H. J. (2001). Combining proof-number search with alpha-beta search. In B. Kröse, M. de Rijke, G. Schreiber, & M. van Someren (Eds.), BNAIC'01: Proceedings of the 13th Belgium-Netherlands conference on artificial intelligence, Amsterdam, October 25-26, 2001 (Vol. 13, pp. 299-306). Amsterdam: Universiteit van Amsterdam.
Winands, M.H.M. ; Uiterwijk, J.W.H.M. ; van den Herik, H.J. / Combining proof-number search with alpha-beta search. BNAIC'01: Proceedings of the 13th Belgium-Netherlands conference on artificial intelligence, Amsterdam, October 25-26, 2001. editor / B. Kröse ; M. de Rijke ; G. Schreiber ; M. van Someren. Vol. 13 Amsterdam : Universiteit van Amsterdam, 2001. pp. 299-306
@inproceedings{3098d0d5933d418da99ecf0c799d7093,
title = "Combining proof-number search with alpha-beta search",
author = "M.H.M. Winands and J.W.H.M. Uiterwijk and {van den Herik}, H.J.",
note = "Pagination: 8",
year = "2001",
language = "English",
volume = "13",
publisher = "Universiteit van Amsterdam",
pages = "299--306",
editor = "B. Kr{\"o}se and {de Rijke}, M. and G. Schreiber and {van Someren}, M.",
booktitle = "BNAIC'01",

}

Winands, MHM, Uiterwijk, JWHM & van den Herik, HJ 2001, Combining proof-number search with alpha-beta search. in B Kröse, M de Rijke, G Schreiber & M van Someren (eds), BNAIC'01: Proceedings of the 13th Belgium-Netherlands conference on artificial intelligence, Amsterdam, October 25-26, 2001. vol. 13, Universiteit van Amsterdam, Amsterdam, pp. 299-306.

Combining proof-number search with alpha-beta search. / Winands, M.H.M.; Uiterwijk, J.W.H.M.; van den Herik, H.J.

BNAIC'01: Proceedings of the 13th Belgium-Netherlands conference on artificial intelligence, Amsterdam, October 25-26, 2001. ed. / B. Kröse; M. de Rijke; G. Schreiber; M. van Someren. Vol. 13 Amsterdam : Universiteit van Amsterdam, 2001. p. 299-306.

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

TY - GEN

T1 - Combining proof-number search with alpha-beta search

AU - Winands, M.H.M.

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

AU - van den Herik, H.J.

N1 - Pagination: 8

PY - 2001

Y1 - 2001

M3 - Conference contribution

VL - 13

SP - 299

EP - 306

BT - BNAIC'01

A2 - Kröse, B.

A2 - de Rijke, M.

A2 - Schreiber, G.

A2 - van Someren, M.

PB - Universiteit van Amsterdam

CY - Amsterdam

ER -

Winands MHM, Uiterwijk JWHM, van den Herik HJ. Combining proof-number search with alpha-beta search. In Kröse B, de Rijke M, Schreiber G, van Someren M, editors, BNAIC'01: Proceedings of the 13th Belgium-Netherlands conference on artificial intelligence, Amsterdam, October 25-26, 2001. Vol. 13. Amsterdam: Universiteit van Amsterdam. 2001. p. 299-306