No Cover Image

Conference Paper/Proceeding/Abstract 12 views

Autarkies for DQCNF / Oliver, Kullmann

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

Swansea University Author: Oliver, Kullmann

Abstract

Autarkies for dependency-quantified boolean CNFs are introduced, with basic theory and algorithms.

Published in: Formal Methods in Computer-Aided Design (FMCAD 2019)
ISBN: 978-0-9835678-9-9
Published: 2019
Online Access: http://theory.stanford.edu/~barrett/fmcad/papers/FMCAD2019_paper_90.pdf
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