NIPS Proceedingsβ

Bei Chen

2 Papers

  • Depth-First Proof-Number Search with Heuristic Edge Cost and Application to Chemical Synthesis Planning (2019)
  • Mixing Properties of Conditional Markov Chains with Unbounded Feature Functions (2012)