An effective two-level proof-number search algorithm
| Autor: | Winands, Mark H.M. *, Uiterwijk, Jos W.H.M., van den Herik, H.Jaap |
|---|---|
| Zdroj: | In Theoretical Computer Science 2004 313(3):511-525 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Winands, Mark H.M. *, Uiterwijk, Jos W.H.M., van den Herik, H.Jaap |
|---|---|
| Zdroj: | In Theoretical Computer Science 2004 313(3):511-525 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect