tatiana-boura / sat-solver-using-nns Goto Github PK
View Code? Open in Web Editor NEWThis project aims to predict the satisfiability of a SAT3 problem instance using GNNs or LSTMs. Since the SAT3 problem is similar to the 3-coloring, it attempts to solve that as well.