Depth-First Proof-Number Search
GPTKB entity
Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:search_engine
|
| gptkbp:abbreviation |
df-pn
|
| gptkbp:advantage |
lower memory usage
|
| gptkbp:application |
gptkb:computer_Go
general game playing computer Shogi |
| gptkbp:citation |
artificial intelligence literature
|
| gptkbp:field |
gptkb:artificial_intelligence
game tree search |
| gptkbp:improves |
Proof-Number Search
|
| gptkbp:influencedBy |
Proof-Number Search
|
| gptkbp:introduced |
gptkb:Hiroyuki_Nagai
|
| gptkbp:introducedIn |
2002
|
| gptkbp:purpose |
game solving
solving AND/OR trees |
| gptkbp:relatedTo |
Proof-Number Search
|
| gptkbp:supportsAlgorithm |
depth-first search
best-first search |
| gptkbp:uses |
disproof number
proof number |
| http://www.w3.org/2000/01/rdf-schema#label |
Depth-First Proof-Number Search
|