Combinatorial optimization of Boolean satisfiability problems : diplomsko delo

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

• Language: English
• Keywords: MAX-3SAT, hybrid genetic algorythm, local search optimization, parallelization, decision problems, computer science, diploma
• 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-157510
• UDC: 004.4(043.2)
• COBISS.SI-ID: 9693012
• Publication date in RUL: 26.05.2024

Secondary language

• Language: Slovenian
• Title: Kombinatorična optimizacija problema Booleove izpolnjivosti
• Keywords: MAX-3SAT, hibridni genetski algoritem, lokalna optimizacija, paralelizacija, odločitveni problemi, računalništvo, univerzitetni študij, diplomske naloge