Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Efficient Partial Order CDCL Using Assertion Level Choice Heuristics   We previously designed Partial Order Conflict Driven Clause Learning
(PO-CDCL), a variation of the satisfiability solving CDCL algorithm with a
partial order on decision levels, and showed that it can speed up the solving
on problems with a high independence between decision levels. In this paper, we
more thoroughly analyze the reasons of the efficiency of PO-CDCL. Of particular
importance is that the partial order introduces several candidates for the
assertion level. By evaluating different heuristics for this choice, we show
that the assertion level selection has an important impact on solving and that
a carefully designed heuristic can significantly improve performances on
relevant benchmarks.

15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys
23
The categories of this paper are: solv-int
9
The categories of this paper are: nlin
24
The categories of this paper are: dg-ga
21
The categories of this paper are: adap-org
0
The categories of this paper are: hep-ph
11
The categories of this paper are: hep-lat
27
The categories of this paper are: comp-gas
30
The categories of this paper are: q-alg
35
The categories of this paper are: mtrl-th
12
The categories of this paper are: nucl-th
5
The categories of this paper are: gr-qc
16
The categories of this paper are: stat
6
The categories of this paper are: astro-ph
10
The categories of this paper are: q-bio