Proof Complexity of Quantified Boolean Logic — A Survey
From MaRDI portal
Publication:6167165
DOI10.1142/9789811245220_0015OpenAlexW4362237097MaRDI QIDQ6167165
Publication date: 4 August 2023
Published in: Mathematics for Computation (M4C) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/9789811245220_0015
Related Items (2)
Never trust your solver: certification for SAT and QBF ⋮ Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024
This page was built for publication: Proof Complexity of Quantified Boolean Logic — A Survey
