elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | 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), 2010-10-25 - 2010-10-30, Florence, Italy.

[img] PDF - Nur DLR-intern zugänglich
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.

elib-URL des Eintrags:https://elib.dlr.de/65244/
Dokumentart:Konferenzbeitrag (Vortrag)
Zusätzliche Informationen:Best Paper Award ADVCOMP 2010
Titel:Using Autarky to Evaluate Quantified Boolean Formulae
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Rühmkorf, Jensjens.ruehmkorf (at) dlr.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2010
Referierte Publikation:Ja
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
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
Veranstaltungsbeginn:25 Oktober 2010
Veranstaltungsende:30 Oktober 2010
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 (alt)
Standort: Köln-Porz
Institute & Einrichtungen:Institut für Simulations- und Softwaretechnik
Institut für Simulations- und Softwaretechnik > Verteilte Systeme und Komponentensoftware
Hinterlegt von: Rühmkorf, Jens
Hinterlegt am:23 Sep 2010 13:53
Letzte Änderung:10 Jul 2024 14:37

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

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