An effective two-level proof-number search algorithm

Research output: Contribution to journal › Article › Professional

Original language	English
Pages (from-to)	511-525
Number of pages	15
Journal	Theoretical Computer Science
Volume	313
Issue number	3
Publication status	Published - 2004
Externally published	Yes

Cite this

@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 B.V.",

number = "3",

}