Proof-number search
= Proof-number search
{wiki=Proof-number_search}
Proof-number search (PNS) is a method used in artificial intelligence, particularly in the domain of game playing and automated theorem proving. It is a search strategy that focuses on determining the strength or quality of a position in a game or a proof in a logic problem. PNS operates by evaluating the proof numbers and disproof numbers associated with different nodes in a search tree.