3-satisfiability

There are 0 repository under 3-satisfiability topic.

Amirarsalan-sn / RTI-solved-using-genetic-algorithm
solving Random 3-SAT(Boolean satisfiability problem) using Evolutionary algorithms like genetic algorithm.
3-satisfiability ai evolutionary-algorithms genetic-algorithm python random-3-sat boolean-satisfiability-problem satisfiability-problem optimization-problem
Language:Python 1
arnaucasau / Quantum-Computing-3SAT
Bachelor's thesis: Solving the 3-SAT problem using quantum algorithms
3-sat 3-satisfiability computer-science grovers-algorithm python qiskit quantum-computing quantum-fourier-transform quantum-phase-estimation schoning
Language:Jupyter Notebook 1
DMo-on / Swarm-SAT
Applying Meta-Heuristics and Evolutionary methods ( Genetic Algorithm, Particle Swarm Optimization ) on MAX-3-SAT problem.
swarm-intelligence 3-satisfiability genetic-algorithm
Language:Java 1
SleekPanther / 3-sat-certifier
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
np-hard np-complete np p exp certifier-algorithm certificate clause negation cnf conjunctive-normal-form 3-sat 3-satisfiability circuit-satisfiability computational-instability 3sat sat satisfiability literals compound-boolean
Language:Java 1
sgrams / ci
computational intelligence, university of gdańsk 2019-2020
machine-learning deep-learning deep-neural-networks neural-networks cleansing-data data-c data-compression knn-classification naive-bayes-classification association-rules text-mining 3-satisfiability genetic-algorithm
Language:Jupyter Notebook 0
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
Language:C