Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 DetailsÜbersicht
  Towards Conflict-driven Learning for Virtual Substitution

Korovin, K., Košta, M., & Sturm, T. (2014). Towards Conflict-driven Learning for Virtual Substitution. In P. Rümmer, & C. M. Wintersteiger (Eds.), 12th International Workshop on Satisfiability Modulo Theories (pp. 71-71). Aachen: CEUR-WS.org.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-91EA-0 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-B778-C
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:
ausblenden:
externe Referenz:
Link (beliebiger Volltext)
Beschreibung:
-
OA-Status:

Urheber

einblenden:
ausblenden:
 Urheber:
Korovin, Konstantin1, Autor           
Košta, Marek2, Autor           
Sturm, Thomas2, Autor           
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2014
 Publikationsstatus: Online veröffentlicht
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: KorovinEtAl:2014b
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 12th International Workshop on Satisfiability Modulo Theories
Veranstaltungsort: Vienna, Austria
Start-/Enddatum: 2014-07-17 - 2014-07-18

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: 12th International Workshop on Satisfiability Modulo Theories
  Kurztitel : SMT 2014
  Untertitel : Vienna, Austria, July 17-18, 2014 ; Affliated with 26th Int'l. Conf. on Computer Aided Verifcation (CAV 2014), 7th Int'l Joint Conf. on Automated Reasoning (IJCAR 2014), and 17th Int'l Conf. on Theory and Applications of Satisfability Testing (SAT 2014)
Genre der Quelle: Konferenzband
 Urheber:
Rümmer, Philipp1, Herausgeber
Wintersteiger, Christoph M.1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Aachen : CEUR-WS.org
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 71 - 71 Identifikator: URN: urn:nbn:de:0074-1163-4

Quelle 2

einblenden:
ausblenden:
Titel: CEUR Workshop Proceedings
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 1163 Artikelnummer: - Start- / Endseite: - Identifikator: ISSN: 1613-0073