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

Actions


Access Document


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

Authors


Expand authors...
Publisher:
Springer Publisher's website
Journal:
9th Conference on Intelligent Computer Mathematics Journal website
Volume:
LNCS 9791
Pages:
28-43
Host title:
9th Conference on Intelligent Computer Mathematics
Publication date:
2016-07-01
Acceptance date:
2016-06-06
DOI:
ISSN:
0302-9743 and 1611-3349
Source identifiers:
637517
ISBN:
9783319425467
Keywords:
Pubs id:
pubs:637517
UUID:
uuid:3bf15251-6abf-4f43-a7f7-051eccb7cf37
Local pid:
pubs:637517
Deposit date:
2017-01-28

Terms of use


Views and Downloads






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

TO TOP