Statements (12)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:search_engine
|
| gptkbp:application |
game tree search
|
| gptkbp:field |
gptkb:artificial_intelligence
computer science |
| gptkbp:fullName |
gptkb:Depth-First_Proof-Number_Search
|
| gptkbp:introducedIn |
2002
|
| gptkbp:inventedBy |
gptkb:Hiroyuki_Nagai
|
| gptkbp:notableFor |
efficiently finding proofs and disproofs in game trees
|
| gptkbp:relatedTo |
AND/OR tree
proof-number search |
| gptkbp:usedIn |
solving games like shogi and go
|
| https://www.w3.org/2000/01/rdf-schema#label |
DFPN
|