Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A framework for good SAT translations, with applications to CNF
  representations of XOR constraints   We present a general framework for good CNF-representations of boolean
constraints, to be used for translating decision problems into SAT problems
(i.e., deciding satisfiability for conjunctive normal forms). We apply it to
the representation of systems of XOR-constraints, also known as systems of
linear equations over the two-element field, or systems of parity constraints.
  The general framework defines the notion of "representation", and provides
several methods to measure the quality of the representation by the complexity
("hardness") needed for making implicit "knowledge" of the representation
explicit (to a SAT-solving mechanism). We obtain general upper and lower
bounds.
  Applied to systems of XOR-constraints, we show a super-polynomial lower bound
on "good" representations under very general circumstances. A corresponding
upper bound shows fixed-parameter tractability in the number of constraints.
  The measurement underlying this upper bound ignores the auxiliary variables
needed for shorter representations of XOR-constraints. Improved upper bounds
(for special cases) take them into account, and a rich picture begins to
emerge, under the various hardness measurements.

14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
33
The categories of this paper are: plasm-ph
12
The categories of this paper are: nucl-th
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph
6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
15
The categories of this paper are: nucl-ex
21
The categories of this paper are: adap-org
35
The categories of this paper are: mtrl-th
23
The categories of this paper are: solv-int