Applying Meta-Heuristics and Evolutionary methods ( Genetic Algorithm, Particle Swarm Optimization ) on MAX-3-SAT problem.
-
Updated
Sep 10, 2019 - Java
#
3-satisfiability
Here are 6 public repositories matching this topic...
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
certificate
literals
np-hard
np-complete
cnf
p
negation
sat
np
exp
3sat
clause
satisfiability
3-sat
certifier-algorithm
conjunctive-normal-form
3-satisfiability
circuit-satisfiability
computational-instability
compound-boolean
-
Updated
May 18, 2017 - Java
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
Segundo trabalho prático desenvolvido para a matéria de Algoritmos e Estruturas de Dados I, da Universidade Federal de Viçosa - campus Florestal.
-
Updated
Aug 1, 2021 - C
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
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
Improve this page
Add a description, image, and links to the 3-satisfiability topic page so that developers can more easily learn about it.
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."