3-sat

There are 8 repositories under 3-sat topic.

Amirarsalan-sn/RTI-solved-using-simulated-annealing
solving Random 3-SAT(Boolean satisfiability problem) using simulated annealing.
Language:Python3 1 00
arnaucasau/Quantum-Computing-3SAT
Bachelor's thesis: Solving the 3-SAT problem using quantum algorithms
Language:Jupyter Notebook1 1 1
RafaelGranza/3SAT-Simulated-Annealing
C++ 3-SAT Simulated Annealing Solver
Language:C++1 2 00
SleekPanther/3-sat-certifier
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
Language:Java1 2 01
Starks-AI/Artificial-Intelligence-Assignment
Contains the assignment 1,2,3 and 4
Language:Python1 2 03
zvadaadam/3SAT
Language:Python1 1 00
afurculita/IP-BranchAndBound
Java implementation of a total unimodularity based branch and bound method for boolean integer programming
Language:Java0 1 00
omnp/shiny-spoon
3-CNF-SAT (toy) solver
Language:Python0 1 00