Classes of hard formulas for QBF resolution
From MaRDI portal
Publication:6572016
DOI10.4230/LIPICS.SAT.2022.5MaRDI QIDQ6572016FDOQ6572016
Authors: Agnes Schleitzer, Olaf Beyersdorff 
Publication date: 12 July 2024
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Computational aspects of satisfiability (68R07)
This page was built for publication: Classes of hard formulas for QBF resolution
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572016)
