Loading...
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...
Na minha lista:
| Udgivet i: | J Autom Reason |
|---|---|
| Main Authors: | , , , , |
| Format: | Artigo |
| Sprog: | Inglês |
| Udgivet: |
Springer Netherlands
2018
|
| Fag: | |
| Online adgang: | https://ncbi.nlm.nih.gov/pmc/articles/PMC6710225/ https://ncbi.nlm.nih.gov/pubmed/31496547 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/s10817-018-9482-4 |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|