English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 DetailsSummary
  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

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-002B-A959-7 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-5E8C-A
Genre: Paper

Files

show Files
hide Files
:
arXiv:1607.06945.pdf (Preprint), 90KB
View   Save
File Permalink:
https://hdl.handle.net/11858/00-001M-0000-002B-A95D-0
Name:
arXiv:1607.06945.pdf
Description:
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:
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
View
Copyright Date:
-
Copyright Info:
-
License:
http://arxiv.org/help/license

Locators

show

Creators

show
hide
 Creators:
Ábrahám, Erika1, Author
Abbott, John1, Author
Becker, Bernd1, Author
Bigatti, Anna M.1, Author
Brain, Martin1, Author
Buchberger, Bruno1, Author
Cimatti, Alessandro1, Author
Davenport, James H.1, Author
England, Matthew1, Author
Fontaine, Pascal1, Author
Forrest, Stephen1, Author
Griggio, Alberto1, Author
Kroening, Daniel1, Author
Seiler, Werner M.1, Author
Sturm, Thomas2, Author           
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show
hide
Free keywords: Computer Science, Symbolic Computation, cs.SC,Computer Science, Logic in Computer Science, cs.LO
 Abstract: 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

show
hide
Language(s): eng - English
 Dates: 2016-07-232016
 Publication Status: Published online
 Pages: 3 p.
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: arXiv: 1607.06945
URI: http://arxiv.org/abs/1607.06945
BibTex Citekey: Sturm1607.06945
 Degree: -

Event

show

Legal Case

show

Project information

show

Source

show