Here are
8 public repositories
matching this topic...
solving Random 3-SAT(Boolean satisfiability problem) using simulated annealing.
Updated
Nov 3, 2023
Python
Updated
Jan 20, 2019
Python
Contains the assignment 1,2,3 and 4
Updated
Jun 13, 2021
Python
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
Updated
May 18, 2017
Java
C++ 3-SAT Simulated Annealing Solver
Bachelor's thesis: Solving the 3-SAT problem using quantum algorithms
Updated
Oct 31, 2023
Jupyter Notebook
Java implementation of a total unimodularity based branch and bound method for boolean integer programming
Updated
Jul 12, 2024
Python
Improve this page
Add a description, image, and links to the
3-sat
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
3-sat
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.