Combinatorial optimization of Boolean satisfiability problems : diplomsko delo

Tuma, Samo (author), Brodnik, Andrej (mentor)

• Language: English
• Keywords: MAX-3SAT, hibridni genetski algoritem, lokalna optimizacija, paralelizacija, odločitveni problemi, računalništvo, univerzitetni študij, diplomske naloge
• Work type: Undergraduate thesis
• Typology: 2.11 - Undergraduate Thesis
• Organization: FRI - Faculty of Computer and Information Science
• Place of publishing: Ljubljana
• Publisher: [S. Tuma]
• Year: 2013
• Number of pages: 41 str.
• PID: 20.500.12556/RUL-25882
• UDC: 004.4(043.2)
• COBISS.SI-ID: 9693012
• Publication date in RUL: 11.07.2014

Secondary language

• Language: English
• Keywords: MAX-3SAT, hybrid genetic algorythm, local search optimization, parallelization, decision problems, computer science, diploma