W2SAT: Learning to generate SAT instances from Weighted Literal Incidence Graphs

Re-assign community