Tell a friend
Print
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), 2010-10-25 - 2010-10-30, Florence, Italy.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Only accessible within DLR
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) | ||||||||
| Additional Information: | Best Paper Award ADVCOMP 2010 | ||||||||
| Title: | Using Autarky to Evaluate Quantified Boolean Formulae | ||||||||
| Authors: |
| ||||||||
| 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 | ||||||||
| Event Start Date: | 25 October 2010 | ||||||||
| Event End Date: | 30 October 2010 | ||||||||
| 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: | 10 Jul 2024 14:37 |
Repository Staff Only: item control page
