Proof-number search

L.V. Allis, M. van der Meulen, H.J. van den Herik

Research output: Contribution to journalArticleProfessional

114 Citations (Scopus)
Original languageEnglish
Pages (from-to)91-124
Number of pages34
JournalArtificial Intelligence
Volume66
Issue number1
Publication statusPublished - 1994
Externally publishedYes

Cite this

Allis, L. V., van der Meulen, M., & van den Herik, H. J. (1994). Proof-number search. Artificial Intelligence, 66(1), 91-124.