Problems & Algorithms and Softcomputing Coursework

Coursework 6 – Weighted SAT-3 problem using genetic algorithms. The link also includes the source codes in C++ and doxygen documentation. Please note that all the materials except the source code documentation are in Czech language.