boolean-satisfiability-problem
There are 4 repositories under boolean-satisfiability-problem topic.
aggstam/sat_GPU
This program solves the Propositional (Boolean) Satisfiability problem using Depth-First Search algorithm.
Amirarsalan-sn/RTI-solved-using-simulated-annealing
solving Random 3-SAT(Boolean satisfiability problem) using simulated annealing.
Amirarsalan-sn/RTI-solved-using-genetic-algorithm
solving Random 3-SAT(Boolean satisfiability problem) using Evolutionary algorithms like genetic algorithm.
deadshot8086/quantum-grover-boolean-sat
Solve k-SAT problem with grover's algorithm in quantum computer