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 V. P. Gerdt, W. Koepf, W. M. Seiler, & E. V. Vorozhtsov (Eds.), Computer Algebra in Scientific Computing (pp. 256-270). Berlin: Springer. doi:10.1007/978-3-319-10515-4_19.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-5369-6 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-B759-0
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

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:
ausblenden:
Schlagwörter: -
 Zusammenfassung: We consider satisfiability modulo theory-solving for linear real arithmetic. Inspired by related work for the Fourier–Motzkin method, we combine virtual substitution with learning strategies. For the first time, we present virtual substitution—including our learning strategies—as a formal calculus. We prove soundness and completeness for that calculus. Some standard linear programming benchmarks computed with an experimental implementation of our calculus show that the integration of learning techniques into virtual substitution gives rise to considerable speedups. Our implementation is open-source and freely available.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20142014
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: DOI: 10.1007/978-3-319-10515-4_19
BibTex Citekey: KorovinCASC2014
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: International Workshops on Computer Algebra in Scientific Computing
Veranstaltungsort: Warsaw, Poland
Start-/Enddatum: 2014-09-08 - 2014-09-12

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Computer Algebra in Scientific Computing
  Untertitel : 16th International Workshop, CASC 2014 ; Warsaw, Poland, September 8-12, 2014 ; Proceedings
  Kurztitel : CASC 2014
Genre der Quelle: Konferenzband
 Urheber:
Gerdt, Vladimir P.1, Herausgeber
Koepf, Wolfram1, Herausgeber
Seiler, Werner M.1, Herausgeber
Vorozhtsov, Evgenii V.1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 256 - 270 Identifikator: ISBN: 978-3-319-10514-7

Quelle 2

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