Volume: Vol-4071 NMR 2025 | Year: 2025

Paper: « paper10 | paper11 | paper12 »

Verification of General Games with QBF Solvers

• Yifan He
• Abdallah Saffidine
• Michael Thielscher

142-156 PDF