Cargando…

Building Strategies into QBF Proofs

Strategy extraction is of great importance for quantified Boolean formulas (QBF), both in solving and proof complexity. So far in the QBF literature, strategy extraction has been algorithmically performed from proofs. Here we devise the first QBF system where (partial) strategies are built into the...

Descripción completa

Detalles Bibliográficos
Autores principales: Beyersdorff, Olaf, Blinkhorn, Joshua, Mahajan, Meena
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Netherlands 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7808293/
https://www.ncbi.nlm.nih.gov/pubmed/33487785
http://dx.doi.org/10.1007/s10817-020-09560-1