Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Satisfiability Checking and Symbolic Computation   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.

10
The categories of this paper are: q-bio
17
The categories of this paper are: q-fin
18
The categories of this paper are: econ
37
The categories of this paper are: supr-con
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
12
The categories of this paper are: nucl-th
32
The categories of this paper are: atom-ph
11
The categories of this paper are: hep-lat
19
The categories of this paper are: eess
23
The categories of this paper are: solv-int
7
The categories of this paper are: hep-th
36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
25
The categories of this paper are: patt-sol
15
The categories of this paper are: nucl-ex