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

Zhaoyu Li Jinpei Guo Xujie Si

Published in: Trans. Mach. Learn. Res. (2024)

Keyphrases

sat solving
neural network
sat solvers
boolean satisfiability
genetic algorithm
boolean optimization
reinforcement learning
data structure
orders of magnitude
constraint programming
symmetry breaking