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 SC2 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.
Satisfiability checking and symbolic computation
ABRAHAM, ERIKA;ABBOTT, JOHN ANTHONY;BIGATTI, ANNA MARIA;
2016-01-01
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 SC2 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.File | Dimensione | Formato | |
---|---|---|---|
p145-abraham.pdf
accesso chiuso
Descrizione: Articolo principale
Tipologia:
Documento in versione editoriale
Dimensione
496.23 kB
Formato
Adobe PDF
|
496.23 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
11567-864143.pdf
accesso aperto
Descrizione: Articolo principale
Tipologia:
Documento in Post-print
Dimensione
103.4 kB
Formato
Adobe PDF
|
103.4 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.