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

Weihuang Wen Tianshu Yu

Published in: CoRR (2023)

Keyphrases

sat instances
sat solvers
satisfiability problem
learning algorithm
sat problem
stochastic local search
reinforcement learning
constraint satisfaction
weighted graph
randomly generated