Tell a friend
Print
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]](http://elib.dlr.de/style/images/fileicons/application_pdf.png) | PDF - Registered users only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 180Kb |
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: |
| ||||
| 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: | Aeronautics | ||||
| HGF - Program Themes: | L - no assignement | ||||
| DLR - Research area: | Aeronautics | ||||
| DLR - Program: | L - no assignement | ||||
| DLR - Research theme (Project): | ["eprint_fieldopt_dlr_project_search_L000" not defined] | ||||
| 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: | 03 Dec 2010 10:27 |
Repository Staff Only: item control page
