G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks.

Zhaoyu Li Jinpei Guo Xujie Si

Published in: CoRR (2023)

Keyphrases

sat solving
neural network
sat solvers
sat problem
boolean satisfiability
constraint satisfaction
boolean optimization
search space
search tree
genetic algorithm
np complete
randomly generated
max sat
clause learning