Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Satisfiability Checking and Symbolic Computation

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

Item is

Dateien

einblenden: Dateien
ausblenden: Dateien
:
arXiv:1607.06945.pdf (Preprint), 90KB
Name:
arXiv:1607.06945.pdf
Beschreibung:
File downloaded from arXiv at 2016-10-26 11:19 3 page Extended Abstract to accompany an ISSAC 2016 poster. Poster available at http://www.sc-square.org/SC2-AnnouncementPoster.pdf
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 viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected. We introduce a new project SC-square to build a joint community in this area, supported by a newly accepted EU (H2020-FETOPEN-CSA) project of the same name. We aim to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and developing a common roadmap. This abstract and accompanying poster describes the motivation and aims for the project, and reports on the first activities.

Details

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

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: