Keywords: MAX-3SAT, hybrid genetic algorythm, local search optimization, parallelization, decision problems, computer science, diplomaFull text (file, 1005,18 KB)