No Cover Image

Conference Paper/Proceeding/Abstract 338 views 81 downloads

Autarkies for DQCNF

Oliver Kullmann Orcid Logo, Ankit Shukla

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

Swansea University Author: Oliver Kullmann Orcid Logo

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 2020-10-13T03:06:30Z
id cronfa52742
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2020-10-12T11:14:47.2620744</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>11</publishedDay><publishedMonth>11</publishedMonth><publishedYear>2019</publishedYear><publishedDate>2019-11-11</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><apcterm/><lastEdited>2020-10-12T11:14:47.2620744</lastEdited><Created>2019-11-14T09:47:56.0006629</Created><path><level id="1">College of Science</level><level id="2">Computer Science</level></path><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><copyrightCorrect>true</copyrightCorrect><language>English</language></document></documents><OutputDurs/></rfc1807>
spelling 2020-10-12T11:14:47.2620744 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 11 11 2019 2019-11-11 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 2020-10-12T11:14:47.2620744 2019-11-14T09:47:56.0006629 College of Science Computer Science 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 English
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
author2 Oliver Kullmann
Ankit Shukla
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
college_str College of Science
hierarchytype
hierarchy_top_id collegeofscience
hierarchy_top_title College of Science
hierarchy_parent_id collegeofscience
hierarchy_parent_title College of Science
department_str Computer Science{{{_:::_}}}College of Science{{{_:::_}}}Computer Science
document_store_str 1
active_str 0
description Autarkies for dependency-quantified boolean CNFs are introduced, with basic theory and algorithms.
published_date 2019-11-11T04:06:45Z
_version_ 1737027386899169280
score 10.920394