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.