Hardness and optimality in QBF proof systems modulo NP

From MaRDI portal
Publication:2118289

DOI10.1007/978-3-030-80223-3_8OpenAlexW3185666742MaRDI QIDQ2118289

Leroy Chew

Publication date: 22 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-80223-3_8




Related Items (1)


Uses Software


Cites Work


This page was built for publication: Hardness and optimality in QBF proof systems modulo NP