Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: ALLSAT compressed with wildcards: An invitation for C-programmers   The model set of a general Boolean function in CNF is calculated in a
compressed format, using novel wildcards. This method can be explained in very
visual ways. Preliminary comparison with existing methods (BDD's and
Mathematica's ESOP command) looks promising but our algorithm begs for a C
encoding which would render it comparable in more systematic ways.

33
The categories of this paper are: plasm-ph
28
The categories of this paper are: alg-geom
36
The categories of this paper are: cmp-lg
22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics
5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
32
The categories of this paper are: atom-ph
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
31
The categories of this paper are: ao-sci
37
The categories of this paper are: supr-con