BibTeX record conf/acg/HartischL19

• > Home > conf/acg/HartischL19

@inproceedings{DBLP:conf/acg/HartischL19,
  author       = {Michael Hartisch and
                  Ulf Lorenz},
  editor       = {Tristan Cazenave and
                  H. Jaap van den Herik and
                  Abdallah Saffidine and
                  I{-}Chen Wu},
  title        = {A Novel Application for Game Tree Search - Exploiting Pruning Mechanisms
                  for Quantified Integer Programs},
  booktitle    = {Advances in Computer Games - 16th International Conference, {ACG}
                  2019, Macao, China, August 11-13, 2019, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12516},
  pages        = {66--78},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-65883-0\_6},
  doi          = {10.1007/978-3-030-65883-0\_6},
  timestamp    = {Mon, 01 May 2023 13:01:37 +0200},
  biburl       = {https://dblp.org/rec/conf/acg/HartischL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}