No Cover Image

Conference Paper/Proceeding/Abstract 60 views 5 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!
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
Start Page: 179
End Page: 183