Yifan He, Abdallah Saffidine, Michael Thielscher. Solving Two-player Games with QBF Solvers in General Game Playing. In Mehdi Dastani, Jaime Simão Sichman, Natasha Alechina, Virginia Dignum, editors, Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024. pages 807-815, ACM, 2024. [doi]
@inproceedings{HeST24,
title = {Solving Two-player Games with QBF Solvers in General Game Playing},
author = {Yifan He and Abdallah Saffidine and Michael Thielscher},
year = {2024},
url = {https://dl.acm.org/doi/10.5555/3635637.3662934},
researchr = {https://researchr.org/publication/HeST24},
cites = {0},
citedby = {0},
pages = {807-815},
booktitle = {Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024},
editor = {Mehdi Dastani and Jaime Simão Sichman and Natasha Alechina and Virginia Dignum},
publisher = {ACM},
}