3-sat

There are 1 repository under 3-sat topic.

Amirarsalan-sn / RTI-solved-using-simulated-annealing
solving Random 3-SAT(Boolean satisfiability problem) using simulated annealing.
ai optimization-problem python satisfiability-problem 3-sat satisfiability-solver simulated-annealing simulated-annealing-algorithm random-3-sat boolean-satisfiability-problem
Language:Python 3
arnaucasau / Quantum-Computing-3SAT
Bachelor's thesis: Solving the 3-SAT problem using quantum algorithms
3-sat 3-satisfiability computer-science grovers-algorithm python qiskit quantum-computing quantum-fourier-transform quantum-phase-estimation schoning
Language:Jupyter Notebook 1
RafaelGranza / 3SAT-Simulated-Annealing
C++ 3-SAT Simulated Annealing Solver
cpp17 cpp 3-sat 3sat simulated-annealing artificial-intelligence-algorithms
Language:C++ 1
SleekPanther / 3-sat-certifier
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
np-hard np-complete np p exp certifier-algorithm certificate clause negation cnf conjunctive-normal-form 3-sat 3-satisfiability circuit-satisfiability computational-instability 3sat sat satisfiability literals compound-boolean
Language:Java 1
Starks-AI / Artificial-Intelligence-Assignment
Contains the assignment 1,2,3 and 4
ai artificial-intelligence iterative-deepening-search bfs k-sat 3-sat marble-solitaire a-star tsp simulated-annealing x-o-game naughts-crosses minimax alpha-beta-pruning iddfs-algorithm
Language:Python 1
zvadaadam / 3SAT
sat sat-solver dimacs golang go genetic-algorithm max-sat max-weighted-sat 3-sat
Language:Python 1
afurculita / IP-BranchAndBound
Java implementation of a total unimodularity based branch and bound method for boolean integer programming
3-sat branch-and-bound integer-programming
Language:Java 0
omnp / shiny-spoon
3-CNF-SAT (toy) solver
3-sat cnf sat 3-cnf-sat cnf-sat 3sat
Language:Python 0