elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] 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 - Nur angemeldete Benutzer - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
185kB

Kurzfassung

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.

Dokumentart:Konferenzbeitrag (Vortrag, Paper)
Zusätzliche Informationen:Best Paper Award ADVCOMP 2010
Titel:Using Autarky to Evaluate Quantified Boolean Formulae
Autoren:
AutorenInstitution oder E-Mail-Adresse der Autoren
Rühmkorf, Jensjens.ruehmkorf@dlr.de
Datum:2010
Referierte Publikation:Ja
In ISI Web of Science:Nein
Status:akzeptierter Beitrag
Stichwörter:Autarky; Davis-Putnam; SAT; QBF
Veranstaltungstitel:The Fourth International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP 2010)
Veranstaltungsort:Florence, Italy
Veranstaltungsart:internationale Konferenz
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:keine Zuordnung
HGF - Programmthema:keine Zuordnung
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L - keine Zuordnung
DLR - Teilgebiet (Projekt, Vorhaben):L -- keine Zuordnung
Standort: Köln-Porz
Institute & Einrichtungen:Institut für Simulations- und Softwaretechnik
Institut für Simulations- und Softwaretechnik > Verteilte Systeme und Komponentensoftware
Hinterlegt von: Jens Rühmkorf
Hinterlegt am:23 Sep 2010 13:53
Letzte Änderung:12 Dez 2013 21:01

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.