conftrace_

proof number search

5 papers

Explore in graph

Also known as

PN_SEARCH PNS

Co-occurring keywords · papers mentioning both

monte carlo tree search (3) game solving (2) game of hex (1) focused depth-first search (1) expected work (1) proof size estimation (1) retrosynthetic analysis (1) chemical synthesis planning (1) grundy number (1) proof cost network (1)

Papers

Massively Parallel Proof-Number Search for Impartial Games and Beyond AAAI 2026 Expected Work Search: Combining Win Rate and Proof Size Estimation IJCAI 2024 AlphaZero-based Proof Cost Network to Aid Game Solving ICLR 2022 Depth-First Proof-Number Search with Heuristic Edge Cost and Application to Chemical Synthesis Planning NeurIPS 2019 Focused Depth-first Proof Number Search using Convolutional Neural Networks for the Game of Hex IJCAI 2017