/Swarm-SAT

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

Primary LanguageJava

SoSat

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

Goal

Evaluate the strengths and weaknesses of each algorithm and determine the best parameters for them.

Preview

SOSATSOSATSOSAT