External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verification of General Games with QBF Solvers

Yifan He 0008, Abdallah Saffidine, Michael Thielscher. Verification of General Games with QBF Solvers. In Anna Rapberger, Sebastian Rudolph, editors, Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), Melbourne, Australia, November 11-13, 2025. Volume 4071 of CEUR Workshop Proceedings, pages 142-156, CEUR-WS.org, 2025. [doi]

Abstract

Abstract is missing.

runs on