#

3-satisfiability

Here are 7 public repositories matching this topic...

np-douce / website

a browser app that calculates the precise average and standard deviation of all the choices for the np-complete problems in polynomial time. It treats the problems as a thermal dynamic system and assign probabilities to witnesses using the Boltzmann distribution. The partition function is approximated using the entropy and a Taylor expansion.

entropy statistical-mechanics np-hard np-complete tsp-problem vertex-cover computational-complexity travelling-salesman-problem tsp-solver 3-sat 3-satisfiability hamiltonian-cycles thermal-dynamics boltzmann-distribution np-hard-problem independent-set partition-function

Updated Aug 27, 2026
JavaScript

DMo-on / Swarm-SAT

Applying Meta-Heuristics and Evolutionary methods ( Genetic Algorithm, Particle Swarm Optimization ) on MAX-3-SAT problem.

genetic-algorithm swarm-intelligence 3-satisfiability

Updated Sep 10, 2019
Java

arnaucasau / Quantum-Computing-3SAT

Bachelor's thesis: Solving the 3-SAT problem using quantum algorithms

python computer-science quantum-computing 3-sat 3-satisfiability qiskit grovers-algorithm quantum-phase-estimation quantum-fourier-transform schoning

Updated Sep 4, 2024
Jupyter Notebook

SleekPanther / 3-sat-certifier

A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem

Updated May 18, 2017
Java

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

sgrams / ci

computational intelligence, university of gdańsk 2019-2020

machine-learning text-mining deep-neural-networks deep-learning genetic-algorithm neural-networks data-compression association-rules naive-bayes-classification knn-classification 3-satisfiability cleansing-data data-c

Updated Jan 26, 2020
Jupyter Notebook

icaroVerilog / Trabalho-pratico-2-AEDS

Segundo trabalho prático desenvolvido para a matéria de Algoritmos e Estruturas de Dados I, da Universidade Federal de Viçosa - campus Florestal.

c data-structures complexity-analysis 3-satisfiability

Updated Aug 1, 2021
C

Add this topic to your repo

To associate your repository with the 3-satisfiability topic, visit your repo's landing page and select "manage topics."