No Cover Image

Conference Paper/Proceeding/Abstract 46 views 3 downloads

Autarkies for DQCNF / Oliver, Kullmann

2019 Formal Methods in Computer Aided Design (FMCAD), Pages: 179 - 183

Swansea University Author: Oliver, Kullmann

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
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2019-11-14T13:13:50Z
last_indexed 2019-11-14T13:13:50Z
id cronfa52742
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>0001-01-01T00:00:00.0000000</datestamp><bib-version>v2</bib-version><id>52742</id><entry>2019-11-14</entry><title>Autarkies for DQCNF</title><swanseaauthors><author><sid>2b410f26f9324d6b06c2b98f67362d05</sid><ORCID>0000-0003-3021-0095</ORCID><firstname>Oliver</firstname><surname>Kullmann</surname><name>Oliver Kullmann</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2019-11-14</date><deptcode>SCS</deptcode><abstract>Autarkies for dependency-quantified boolean CNFs are introduced, with basic theory and algorithms.</abstract><type>Conference Paper/Proceeding/Abstract</type><journal>2019 Formal Methods in Computer Aided Design (FMCAD)</journal><paginationStart>179</paginationStart><paginationEnd>183</paginationEnd><publisher>IEEE</publisher><isbnElectronic>9780983567899</isbnElectronic><issnPrint>2641-8177</issnPrint><issnElectronic>2642-732X</issnElectronic><keywords>QBF, DQBF, autarky, SAT solving</keywords><publishedDay>22</publishedDay><publishedMonth>10</publishedMonth><publishedYear>2019</publishedYear><publishedDate>2019-10-22</publishedDate><doi>10.23919/fmcad.2019.8894263</doi><url/><notes>The concept of autarkies for DQCNF is introduced, together with a theoretical basis.</notes><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><lastEdited>0001-01-01T00:00:00.0000000</lastEdited><Created>2019-11-14T09:47:56.0006629</Created><authors><author><firstname>Oliver</firstname><surname>Kullmann</surname><orcid>0000-0003-3021-0095</orcid><order>1</order></author><author><firstname>Ankit</firstname><surname>Shukla</surname><order>2</order></author></authors><documents><document><filename>52742__15878__5d56cda489384e47801cb22aec6d2e43.pdf</filename><originalFilename>FMCAD2019_paper_90.pdf</originalFilename><uploaded>2019-11-14T09:57:20.3864521</uploaded><type>Output</type><contentLength>253981</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><action/><copyrightCorrect>true</copyrightCorrect></document></documents></rfc1807>
spelling 0001-01-01T00:00:00.0000000 v2 52742 2019-11-14 Autarkies for DQCNF 2b410f26f9324d6b06c2b98f67362d05 0000-0003-3021-0095 Oliver Kullmann Oliver Kullmann true false 2019-11-14 SCS Autarkies for dependency-quantified boolean CNFs are introduced, with basic theory and algorithms. Conference Paper/Proceeding/Abstract 2019 Formal Methods in Computer Aided Design (FMCAD) 179 183 IEEE 9780983567899 2641-8177 2642-732X QBF, DQBF, autarky, SAT solving 22 10 2019 2019-10-22 10.23919/fmcad.2019.8894263 The concept of autarkies for DQCNF is introduced, together with a theoretical basis. COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 0001-01-01T00:00:00.0000000 2019-11-14T09:47:56.0006629 Oliver Kullmann 0000-0003-3021-0095 1 Ankit Shukla 2 52742__15878__5d56cda489384e47801cb22aec6d2e43.pdf FMCAD2019_paper_90.pdf 2019-11-14T09:57:20.3864521 Output 253981 application/pdf Accepted Manuscript true true
title Autarkies for DQCNF
spellingShingle Autarkies for DQCNF
Oliver, Kullmann
title_short Autarkies for DQCNF
title_full Autarkies for DQCNF
title_fullStr Autarkies for DQCNF
title_full_unstemmed Autarkies for DQCNF
title_sort Autarkies for DQCNF
author_id_str_mv 2b410f26f9324d6b06c2b98f67362d05
author_id_fullname_str_mv 2b410f26f9324d6b06c2b98f67362d05_***_Oliver, Kullmann
author Oliver, Kullmann
format Conference Paper/Proceeding/Abstract
container_title 2019 Formal Methods in Computer Aided Design (FMCAD)
container_start_page 179
publishDate 2019
institution Swansea University
isbn 9780983567899
issn 2641-8177
2642-732X
doi_str_mv 10.23919/fmcad.2019.8894263
publisher IEEE
document_store_str 1
active_str 0
description Autarkies for dependency-quantified boolean CNFs are introduced, with basic theory and algorithms.
published_date 2019-10-22T21:03:05Z
_version_ 1668509425634115584
score 10.901285