elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Using Autarky to Evaluate Quantified Boolean Formulae

Rühmkorf, Jens (2010) Using Autarky to Evaluate Quantified Boolean Formulae. The Fourth International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP 2010), Florence, Italy.

[img] PDF - Registered users only
185kB

Abstract

In this paper, we discuss algorithmical implications for the extension of autarky from SAT to evaluate QBF formulas. First, we describe the Davis-Putnam procedure for SAT. Then we explain efficient known data structures as used for our SAT solver and known extensions to QBF. Finally, we introduce the concept of autarky in general and 2-autarkies in particular and discuss algorithmical implications for QBF. To the best of our knowledge we are the first to discuss described techniques for pruning the search tree of QBF solvers.

Item URL in elib:https://elib.dlr.de/65244/
Document Type:Conference or Workshop Item (Speech, Paper)
Additional Information:Best Paper Award ADVCOMP 2010
Title:Using Autarky to Evaluate Quantified Boolean Formulae
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Rühmkorf, Jensjens.ruehmkorf (at) dlr.deUNSPECIFIED
Date:2010
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Status:Accepted
Keywords:Autarky; Davis-Putnam; SAT; QBF
Event Title:The Fourth International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP 2010)
Event Location:Florence, Italy
Event Type:international Conference
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:other
HGF - Program Themes:other
DLR - Research area:Aeronautics
DLR - Program:L - no assignment
DLR - Research theme (Project):L - no assignment (old)
Location: Köln-Porz
Institutes and Institutions:Institut of Simulation and Software Technology
Institut of Simulation and Software Technology > Distributed Systems and Component Software
Deposited By: Rühmkorf, Jens
Deposited On:23 Sep 2010 13:53
Last Modified:12 Dec 2013 21:01

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.