Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: PDP: A General Neural Framework for Learning Constraint Satisfaction
  Solvers   There have been recent efforts for incorporating Graph Neural Network models
for learning full-stack solvers for constraint satisfaction problems (CSP) and
particularly Boolean satisfiability (SAT). Despite the unique representational
power of these neural embedding models, it is not clear how the search strategy
in the learned models actually works. On the other hand, by fixing the search
strategy (e.g. greedy search), we would effectively deprive the neural models
of learning better strategies than those given. In this paper, we propose a
generic neural framework for learning CSP solvers that can be described in
terms of probabilistic inference and yet learn search strategies beyond greedy
search. Our framework is based on the idea of propagation, decimation and
prediction (and hence the name PDP) in graphical models, and can be trained
directly toward solving CSP in a fully unsupervised manner via energy
minimization, as shown in the paper. Our experimental results demonstrate the
effectiveness of our framework for SAT solving compared to both neural and the
state-of-the-art baselines.

22
The categories of this paper are: chao-dyn
27
The categories of this paper are: comp-gas
24
The categories of this paper are: dg-ga
23
The categories of this paper are: solv-int
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th
20
The categories of this paper are: acc-phys
34
The categories of this paper are: chem-ph
13
The categories of this paper are: quant-ph
11
The categories of this paper are: hep-lat
9
The categories of this paper are: nlin
17
The categories of this paper are: q-fin
6
The categories of this paper are: astro-ph
5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat
35
The categories of this paper are: mtrl-th