GitHub - maxhartml/Memetic-MAXSAT-Solver: Memetic algorithm for MAXSAT combining evolutionary search with GSAT/WalkSAT-inspired local refinement. Includes experiments analysing population size, mutation rate, and local-search effects on small to large WDIMACS instances.

Name		Name	Last commit message	Last commit date
ec2025cw2-mah422		ec2025cw2-mah422
results		results
.gitignore		.gitignore
Lab2-MAXSAT-1.pdf		Lab2-MAXSAT-1.pdf
example.wcnf		example.wcnf

About

Memetic algorithm for MAXSAT combining evolutionary search with GSAT/WalkSAT-inspired local refinement. Includes experiments analysing population size, mutation rate, and local-search effects on small to large WDIMACS instances.

Activity

1 star

1 watching

0 forks

Report repository

Navigation Menu

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

About

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages