Combining proof-number search with alpha-beta search

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

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 proceeding › Conference contribution › Professional

Original language	English
Title of host publication	BNAIC'01
Subtitle of host publication	Proceedings of the 13th Belgium-Netherlands conference on artificial intelligence, Amsterdam, October 25-26, 2001
Editors	B. Kröse, M. de Rijke, G. Schreiber, M. van Someren
Place of Publication	Amsterdam
Publisher	Universiteit van Amsterdam
Pages	299-306
Number of pages	8
Volume	13
Publication status	Published - 2001
Externally published	Yes

Publication series

Name
Volume	13

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). 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",

}

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 proceeding › Conference contribution › Professional

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 -