Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF

Dependency quantified Boolean formulas (DQBF) and QBF dependency schemes have been treated separately in the literature, even though both treatments extend QBF by replacing the linear order of the quantifier prefix with a partial order. We propose to merge the two, by reinterpreting a dependency sch...

Descripción completa

Detalles Bibliográficos
Autores principales: Beyersdorff, Olaf, Blinkhorn, Joshua, Chew, Leroy, Schmidt, Renate, Suda, Martin
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Netherlands 2018
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6710225/
https://www.ncbi.nlm.nih.gov/pubmed/31496547
http://dx.doi.org/10.1007/s10817-018-9482-4

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6710225/
https://www.ncbi.nlm.nih.gov/pubmed/31496547
http://dx.doi.org/10.1007/s10817-018-9482-4

Ejemplares similares