Conference Paper/Proceeding/Abstract 1077 views 231 downloads
Autarkies for DQCNF
Oliver Kullmann 
,
Ankit Shukla
,
Ankit Shukla
2019 Formal Methods in Computer Aided Design (FMCAD), Pages: 179 - 183
Swansea University Author:
Oliver Kullmann
-
PDF | Accepted Manuscript
Download (248.03KB)
DOI (Published version): 10.23919/fmcad.2019.8894263
Abstract
Autarkies for dependency-quantified boolean CNFs are introduced, with basic theory and algorithms.
| Published in: | 2019 Formal Methods in Computer Aided Design (FMCAD) |
|---|---|
| ISBN: | 9780983567899 |
| ISSN: | 2641-8177 2642-732X |
| Published: |
IEEE
2019
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa52742 |
| Abstract: |
Autarkies for dependency-quantified boolean CNFs are introduced, with basic theory and algorithms. |
|---|---|
| Item Description: |
The concept of autarkies for DQCNF is introduced, together with a theoretical basis. |
| Keywords: |
QBF, DQBF, autarky, SAT solving |
| College: |
Faculty of Science and Engineering |
| Start Page: |
179 |
| End Page: |
183 |