Ključne besede: MAX-3SAT, hybrid genetic algorythm, local search optimization, parallelization, decision problems, computer science, diplomaCelotno besedilo (datoteka, 1005,18 KB)