3-satisfiability
There are 6 repositories under 3-satisfiability topic.
Amirarsalan-sn/RTI-solved-using-genetic-algorithm
solving Random 3-SAT(Boolean satisfiability problem) using Evolutionary algorithms like genetic algorithm.
arnaucasau/Quantum-Computing-3SAT
Bachelor's thesis: Solving the 3-SAT problem using quantum algorithms
DMo-on/Swarm-SAT
Applying Meta-Heuristics and Evolutionary methods ( Genetic Algorithm, Particle Swarm Optimization ) on MAX-3-SAT problem.
SleekPanther/3-sat-certifier
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
sgrams/ci
computational intelligence, university of gdańsk 2019-2020
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.