Llwytho...
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...
Wedi'i Gadw mewn:
| Cyhoeddwyd yn: | J Autom Reason |
|---|---|
| Prif Awduron: | , , , , |
| Fformat: | Artigo |
| Iaith: | Inglês |
| Cyhoeddwyd: |
Springer Netherlands
2018
|
| Pynciau: | |
| Mynediad Ar-lein: | 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 |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|