Michael Hartisch, Ulf Lorenz. A Novel Application for Game Tree Search - Exploiting Pruning Mechanisms for Quantified Integer Programs. In Tristan Cazenave, H. Jaap van den Herik, Abdallah Saffidine, I-Chen Wu, editors, Advances in Computer Games - 16th International Conference, ACG 2019, Macao, China, August 11-13, 2019, Revised Selected Papers. Volume 12516 of Lecture Notes in Computer Science, pages 66-78, Springer, 2019. [doi]
Abstract is missing.