Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 DetailsÜbersicht
  From DQBF to QBF by Dependency Elimination

Karrenbauer, A., Becker, R., Scholl, C., & Becker, B. (2017). From DQBF to QBF by Dependency Elimination. In S. Gaspers, & T. Walsh (Eds.), Theory and Applications of Satisfiability Testing -- SAT 2017 (pp. 326-343). Berlin: Springer. doi:10.1007/978-3-319-66263-3_21.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-FBAC-7 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-FBAD-5
Genre: Konferenzbeitrag
Latex : From {DQBF} to {QBF} by Dependency Elimination

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Karrenbauer, Andreas1, Autor           
Becker, Ruben1, Autor           
Scholl, Christoph2, Autor
Becker, Bernd2, Autor
Affiliations:
1Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019              
2External Organizations, ou_persistent22              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20172017
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: KarrenbauerSAT2017
DOI: 10.1007/978-3-319-66263-3_21
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 20th International Conference on Theory and Applications of Satisfiability Testing
Veranstaltungsort: Melbourne, Australia
Start-/Enddatum: 2017-08-28 - 2017-09-01

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Theory and Applications of Satisfiability Testing -- SAT 2017
  Kurztitel : SAT 2017
  Untertitel : 20th International Conference ; Melbourne, VIC, Australia, August 28-September 1, 2017 ; Proceedings
Genre der Quelle: Konferenzband
 Urheber:
Gaspers, Serge1, Herausgeber
Walsh, Toby1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 326 - 343 Identifikator: ISBN: 978-3-319-66262-6

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
  Kurztitel : LNCS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 10491 Artikelnummer: - Start- / Endseite: - Identifikator: -