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.
No commits in the last 6 months.
Stars
5
Forks
—
Language
Jupyter Notebook
License
—
Category
Last pushed
Jun 09, 2023
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/tatiana-boura/SAT-Solver-using-NNs"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
nikhilranjan7/sudoku-solver
AI that will solve sudoku based on search and constraint propagation techniques made as a part...
stressGC/Python-AC3-Backtracking-CSP-Sudoku-Solver
Python implementation of a sudoku puzzle solver (CSP) using AC3 and backtracking algorithms
fabridigua/LogicGamesSolver
A Python tool to solve logic games with AI, Deep Learning and Computer Vision
GeorgeSeif/Sudoku-Solver
An algorithm for automatically solving Soduko puzzles
SrinidhiRaghavan/AI-Sudoku
Solving sudoku puzzle using backtracking and AC-3