Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers

Open in new window