Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Pinaka: Symbolic Execution meets Incremental Solving (Competition
  Contribution)   Many modern-day solvers offer functionality for incremental SAT solving,
which preserves the state of the solver across invocations. This is beneficial
when multiple, closely related SAT queries need to be fed to the solver. Pinaka
is a symbolic execution engine which makes aggressive use of incremental SAT
solving coupled with eager state infeasibility checks. It is built on top of
the CProver/Symex framework. Pinaka supports both Breadth First Search and
Depth First Search as state exploration strategies along with partial and full
incremental modes. For SVCOMP 2019, Pinaka is configured to use partial
incremental mode with Depth First Search strategy.

25
The categories of this paper are: patt-sol
12
The categories of this paper are: nucl-th
22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an
29
The categories of this paper are: funct-an
10
The categories of this paper are: q-bio
20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess
28
The categories of this paper are: alg-geom
37
The categories of this paper are: supr-con
0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph