elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | 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 - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
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.

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 Authors
Rühmkorf, Jensjens.ruehmkorf@dlr.de
Date:2010
Refereed publication:Yes
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 assignement
DLR - Research theme (Project):L -- no assignement
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: Jens Rühmkorf
Deposited On:23 Sep 2010 13:53
Last Modified:12 Dec 2013 21:01

Repository Staff Only: item control page

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