Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 DetailsÜbersicht
  A Verified SAT Solver Framework including Optimization and Partial Valuations

Fleury, M., & Weidenbach, C. (2020). A Verified SAT Solver Framework including Optimization and Partial Valuations. In E. Albert, & L. Kovács (Eds.), LPAR-23 (pp. 212-229). Manchester, UK: EasyChair. doi:10.29007/96wb.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0007-78C7-2 Versions-Permalink: https://hdl.handle.net/21.11116/0000-0007-78CB-E
Genre: Konferenzbeitrag
Latex : A Verified {SAT} Solver Framework including Optimization and Partial Valuations

Externe Referenzen

einblenden:
ausblenden:
externe Referenz:
https://easychair.org/publications/paper/b7Cr (Verlagsversion)
Beschreibung:
-
OA-Status:

Urheber

einblenden:
ausblenden:
 Urheber:
Fleury, Mathias1, Autor           
Weidenbach, Christoph1, Autor           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2020
 Publikationsstatus: Online veröffentlicht
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: DBLP:conf/lpar/FleuryW20
DOI: 10.29007/96wb
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Veranstaltungsort: Virtual Conferernce
Start-/Enddatum: 2021-01-12 - 2021-01-13

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: LPAR-23
  Kurztitel : LPAR 2021
  Untertitel : 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
  Andere : LPAR23
Genre der Quelle: Konferenzband
 Urheber:
Albert, Elvira1, Herausgeber
Kovács, Laura1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Manchester, UK : EasyChair
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 212 - 229 Identifikator: -

Quelle 2

einblenden:
ausblenden:
Titel: EasyChair Proceedings in Computing
  Kurztitel : EPiC
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 73 Artikelnummer: - Start- / Endseite: - Identifikator: ISSN: 2040-557X