Agent learns to become the worlds top expert on SAT
-
Updated
Jun 16, 2026 - Python
#
boolean-satisfiability-problem
Here are 7 public repositories matching this topic...
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
This program solves the Propositional (Boolean) Satisfiability problem using Depth-First Search algorithm.
-
Updated
Nov 30, 2025 - C
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
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
A repo containing the LaTex document of my bachelor thesis "SAT and the emptiness problem of the intersection with regular languages"
computer-science grammars discrete-mathematics theoretical-computer-science language-theory automata-theory boolean-satisfiability-problem
-
Updated
Jun 22, 2026 - TeX
Unified repository for Spectral Complexity Theory — papers, tools, datasets, and the visualization platform for analyzing problem solvability and logical structure.
tools artificial-intelligence complexity preprints theory theoretical-computer-science sat-solver research-paper sat fourier-analysis spectral-analysis umap theory-of-computation complexity-analysis fourier-transform boolean-satisfiability complexity-theory pvsnp walsh-hadamard boolean-satisfiability-problem
-
Updated
Jun 3, 2025 - TypeScript
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."