Proof Complexity of Quantified Boolean Logic — A Survey

Autor:	Olaf Beyersdorff
Rok vydání:	2023
Zdroj:	Mathematics for Computation (M4C) ISBN: 9789811245213
DOI:	10.1142/9789811245220_0015
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::98cd558a30fac3c422910e2378800f13 https://doi.org/10.1142/9789811245220_0015 Zobrazit plný text záznamu