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]

Authors

Yifan He 0008

This author has not been identified. Look up 'Yifan He 0008' in Google

Abdallah Saffidine

This author has not been identified. Look up 'Abdallah Saffidine' in Google

Michael Thielscher

This author has not been identified. Look up 'Michael Thielscher' in Google
runs on