Predicting Propositional Satisfiability Based on Graph Attention Networks.

Wenjing Chang Hengkai Zhang Junwei Luo

Published in: Int. J. Comput. Intell. Syst. (2022)

Keyphrases

propositional satisfiability
sat solvers
propositional logic
automated reasoning
constraint programming
solving hard
sat problem
industrial applications
machine learning
constraint satisfaction problems
cellular automata
stochastic local search