A CSP-Based Approach for Solving Parity Game

DOI10.1007/978-3-540-69311-6_16zbMath1143.68589OpenAlexW1595808772MaRDI QIDQ3507327

Could not fetch data.

Publication date: 19 June 2008

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69311-6_16

Mathematics Subject Classification ID

Could not fetch data.