Co-occurring keywords · papers mentioning both
Papers
Massively Parallel Proof-Number Search for Impartial Games and Beyond
AAAI 2026
Combinatorial Games with Incomplete Information
IJCAI 2024
Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers
IJCAI 2020
Can Deep Reinforcement Learning Solve Erdos-Selfridge-Spencer Games?
ICML 2018
Second-order Quantile Methods for Experts and Combinatorial Games
COLT 2015