Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Exact Synthesis of ESOP Forms   We present an exact synthesis approach for computing Exclusive-or
Sum-of-Products (ESOP) forms with a minimum number of product terms using
Boolean satisfiability. Our approach finds one or more ESOP forms for a given
Boolean function. The approach can deal with incompletely-specified Boolean
functions defined over many Boolean variables and is particularly fast if the
Boolean function can be expressed with only a few product terms. We describe
the formalization of the ESOP synthesis problem with a fixed number of terms as
a decision problem and present search procedures for determining ESOP forms of
minimum size. We further discuss how the search procedures can be relaxed to
find ESOP forms of small sizes in reasonable time. We experimentally evaluate
the performance of the SAT-based synthesis procedures on completely- and
incompletely-specified Boolean functions.

5
The categories of this paper are: gr-qc
35
The categories of this paper are: mtrl-th
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
10
The categories of this paper are: q-bio
21
The categories of this paper are: adap-org
32
The categories of this paper are: atom-ph
12
The categories of this paper are: nucl-th
17
The categories of this paper are: q-fin
9
The categories of this paper are: nlin
34
The categories of this paper are: chem-ph
4
The categories of this paper are: cond-mat
23
The categories of this paper are: solv-int
2
The categories of this paper are: math
24
The categories of this paper are: dg-ga
14
The categories of this paper are: math-ph