Topic: "boolean-satisfiability-problem"
aggstam/sat_GPU
This program solves the Propositional (Boolean) Satisfiability problem using Depth-First Search algorithm.
Language: C - Size: 280 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
Amirarsalan-sn/RTI-solved-using-simulated-annealing
solving Random 3-SAT(Boolean satisfiability problem) using simulated annealing.
Language: Python - Size: 11.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
thyung/qiskit_grover
Use Grover's algorithm to solve Boolean Satisfiability Problem and Traveling Salesman Problem
Language: Jupyter Notebook - Size: 3.91 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
Amirarsalan-sn/RTI-solved-using-genetic-algorithm
solving Random 3-SAT(Boolean satisfiability problem) using Evolutionary algorithms like genetic algorithm.
Language: Python - Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
deadshot8086/quantum-grover-boolean-sat
Solve k-SAT problem with grover's algorithm in quantum computer
Language: Python - Size: 134 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
