Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  SC2: Satisfiability Checking meets Symbolic Computation (Project Paper)

Ábrahám, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., et al. (2016). SC2: Satisfiability Checking meets Symbolic Computation (Project Paper). Retrieved from http://arxiv.org/abs/1607.08028.

Item is

Basisdaten

einblenden: ausblenden:
Genre: Forschungspapier
Latex : ${SC}^{2}$: {S}atisfiability Checking meets Symbolic Computation (Project Paper)

Dateien

einblenden: Dateien
ausblenden: Dateien
:
arXiv:1607.08028.pdf (Preprint), 199KB
Name:
arXiv:1607.08028.pdf
Beschreibung:
File downloaded from arXiv at 2016-10-26 11:24
OA-Status:
Sichtbarkeit:
Öffentlich
MIME-Typ / Prüfsumme:
application/pdf / [MD5]
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Ábrahám, Erika1, Autor
Abbott, John1, Autor
Becker, Bernd1, Autor
Bigatti, Anna M.1, Autor
Brain, Martin1, Autor
Buchberger, Bruno1, Autor
Cimatti, Alessandro1, Autor
Davenport, James H.1, Autor
England, Matthew1, Autor
Fontaine, Pascal1, Autor
Forrest, Stephen1, Autor
Griggio, Alberto1, Autor
Kroening, Daniel1, Autor
Seiler, Werner M.1, 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: Computer Science, Symbolic Computation, cs.SC,Computer Science, Logic in Computer Science, cs.LO
 Zusammenfassung: Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite their commonalities, the two communities are rather weakly connected. The aim of our newly accepted SC-square project (H2020-FETOPEN-CSA) is to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and developing a common roadmap from theory along the way to tools and (industrial) applications. In this paper we report on the aims and on the first activities of this project, and formalise some relevant challenges for the unified SC-square community.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2016-07-272016
 Publikationsstatus: Online veröffentlicht
 Seiten: 15 p.
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: arXiv: 1607.08028
URI: http://arxiv.org/abs/1607.08028
BibTex Citekey: Sturm1607.08028
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: