Positional games and QBF: the corrective encoding

DOI10.1007/978-3-030-51825-7_31OpenAlexW3039860287MaRDI QIDQ2661369

Abdallah Saffidine, Valentin Mayer-Eichberger

Publication date: 7 April 2021

Full work available at URL: https://arxiv.org/abs/2005.05098

zbMATH Keywords

positional gamesquantified Boolean formulaQBF encodings

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Related Items

Planning with Incomplete Information in Quantified Answer Set Programming

Uses Software

• DepQBF
• HQSpre
• QRATPre+