Đang tải...
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...
Đã lưu trong:
| Xuất bản năm: | J Autom Reason |
|---|---|
| Những tác giả chính: | , , , , |
| Định dạng: | Artigo |
| Ngôn ngữ: | Inglês |
| Được phát hành: |
Springer Netherlands
2018
|
| Những chủ đề: | |
| Truy cập trực tuyến: | 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 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|