Figure6: Graph-Q-SATinferencetimelinearlydependsonthenumberofverticesinthegraph

Figure 5: Graph-Q-SAT's MRIR improvement (10 model calls) results in the wall clock time reduction. We call the middle part'the core'. The output of the core is concatenated with the output of the encoder andgetsfedtothecoreagain. We also plan to release the experimental code and the modified version of MiniSat to use as a gym environment. Encoder and Decoder are independent graph networks,i.e.