Addressing Variable Dependency in GNN-based SAT Solving.

Zhiyuan Yan Min Li Zhengyuan Shi Wenjie Zhang Yingcong Chen Hongce Zhang

Published in: CoRR (2023)

Keyphrases

sat solving
sat solvers
boolean satisfiability
sat problem
boolean optimization
search tree
sat instances
cnf formula
boolean formula