/Swarm-SAT

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

Primary LanguageJava

Stargazers