Understanding and extending incremental determinization for 2QBF
From MaRDI portal
Publication:6039407
DOI10.1007/978-3-319-96142-2_17zbMath1511.68258arXiv1905.13411OpenAlexW2883980996MaRDI QIDQ6039407
Markus N. Rabe, Sanjit A. Seshia, Cameron Rasmussen, Leander Tentrup
Publication date: 5 May 2023
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1905.13411
Logic in computer science (03B70) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Boolean functional synthesis: hardness and practical algorithms ⋮ CAQE and QuAbS: Abstraction Based QBF Solvers