9 citations · 17 across the 5 of their papers we have counts for
1 paper · 1 filter
Zhanfu Yang, Fei Wang, Ziliang Chen +2
In this paper, we investigate the feasibility of learning GNN (Graph Neural Network) based solvers and GNN-based heuristics for specified QBF (Quantified Boolean Formula) problems.…