Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Non Uniform Selection of Solutions for Upper Bounding the 3-SAT
  Threshold   We give a new insight into the upper bounding of the 3-SAT threshold by the
first moment method. The best criteria developed so far to select the solutions
to be counted discriminate among neighboring solutions on the basis of uniform
information about each individual free variable. What we mean by uniform
information, is information which does not depend on the solution: e.g. the
number of positive/negative occurrences of the considered variable. What is new
in our approach is that we use non uniform information about variables. Thus we
are able to make a more precise tuning, resulting in a slight improvement on
upper bounding the 3-SAT threshold for various models of formulas defined by
their distributions.

4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
29
The categories of this paper are: funct-an
11
The categories of this paper are: hep-lat
19
The categories of this paper are: eess
35
The categories of this paper are: mtrl-th
8
The categories of this paper are: hep-ex
26
The categories of this paper are: bayes-an
22
The categories of this paper are: chao-dyn
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th
23
The categories of this paper are: solv-int
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin