Yifan He

Affiliations:

According to our database¹, Yifan He authored at least 3 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Verification of General Games with Imperfect Information Using Strategy Logic.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Solving Two-player Games with QBF Solvers in General Game Playing.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2022

QBF Solving Using Best First Search.

[BibT_eX]

[DOI]

Proceedings of the Computers and Games - International Conference, 2022