Topic: "3-satisfiability"
SleekPanther/3-sat-certifier
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
Language: Java - Size: 16.6 KB - Last synced at: 3 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 1
Amirarsalan-sn/RTI-solved-using-genetic-algorithm
solving Random 3-SAT(Boolean satisfiability problem) using Evolutionary algorithms like genetic algorithm.
Language: Python - Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
arnaucasau/Quantum-Computing-3SAT
Bachelor's thesis: Solving the 3-SAT problem using quantum algorithms
Language: Jupyter Notebook - Size: 6.29 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 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.
Language: C - Size: 701 KB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
sgrams/ci 📦
computational intelligence, university of gdańsk 2019-2020
Language: Jupyter Notebook - Size: 1.28 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
