#

boolean-satisfiability-problem

Here are 4 public repositories matching this topic...

Amirarsalan-sn / RTI-solved-using-simulated-annealing

solving Random 3-SAT(Boolean satisfiability problem) using simulated annealing.

python ai satisfiability-solver simulated-annealing 3-sat optimization-problem simulated-annealing-algorithm satisfiability-problem boolean-satisfiability-problem random-3-sat

Updated Nov 3, 2023
Python

aggstam / sat_GPU

This program solves the Propositional (Boolean) Satisfiability problem using Depth-First Search algorithm.

c opencl depth-first-search boolean-satisfiability-problem

Updated Jan 19, 2024
C

Amirarsalan-sn / RTI-solved-using-genetic-algorithm

solving Random 3-SAT(Boolean satisfiability problem) using Evolutionary algorithms like genetic algorithm.

python ai genetic-algorithm evolutionary-algorithms 3-satisfiability optimization-problem satisfiability-problem boolean-satisfiability-problem random-3-sat

Updated Nov 3, 2023
Python

thyung / qiskit_grover

Use Grover's algorithm to solve Boolean Satisfiability Problem and Traveling Salesman Problem

quantum-algorithms 3sat qiskit grovers-algorithm traveling-salesman-problem boolean-satisfiability-problem

Updated Mar 2, 2025
Jupyter Notebook

Improve this page

Add a description, image, and links to the boolean-satisfiability-problem 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 boolean-satisfiability-problem topic, visit your repo's landing page and select "manage topics."