Vol-4070⫷ Vol-4071 ⫸Vol-4072
urn:nbn:de:0074-4071-0


Vol-4071/paper10⫷Vol-4071/paper11⫸Vol-4071/paper12
Yifan HeAbdallah SaffidineMichael Thielscher

Verification of General Games with QBF Solvers