A Novel Application for Game Tree Search - Exploiting Pruning Mechanisms for Quantified Integer Programs.

Michael Hartisch Ulf Lorenz

Published in: ACG (2019)

Keyphrases

game tree search
integer program
search algorithm
linear program
integer programming
state space
evaluation function
optimization model
alpha beta