Conference item icon

Conference item

SC2: Satisfiability checking meets symbolic computation

Abstract:

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 SC2 project (H2020-FETOPEN-CSA) is to strengthen the connection between these communities by creating common platforms, initiating intera...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted manuscript

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-319-42547-4_3

Authors


Ábrahám, E More by this author
Bigatti, AM More by this author
Expand authors...
Publisher:
Springer Publisher's website
Volume:
LNCS 9791
Pages:
28-43
Publication date:
2016-07-05
Acceptance date:
2016-06-06
DOI:
ISSN:
0302-9743 and 1611-3349
Pubs id:
pubs:637517
URN:
uri:3bf15251-6abf-4f43-a7f7-051eccb7cf37
UUID:
uuid:3bf15251-6abf-4f43-a7f7-051eccb7cf37
Local pid:
pubs:637517
ISBN:
9783319425467

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP