tatiana-boura/SAT-Solver-using-NNs
This 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.
Jupyter Notebook
This 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.
Jupyter Notebook