Podrobno

Combinatorial optimization of Boolean satisfiability problems : diplomsko delo
ID Tuma, Samo (Avtor), ID Brodnik, Andrej (Mentor) Več o mentorju... Povezava se odpre v novem oknu

.pdfPDF - Predstavitvena datoteka, prenos (1005,18 KB)
MD5: 223CCB9790E7DC88CE89E5DB0558D77F

Jezik:Angleški jezik
Ključne besede:MAX-3SAT, hybrid genetic algorythm, local search optimization, parallelization, decision problems, computer science, diploma
Vrsta gradiva:Diplomsko delo
Tipologija:2.11 - Diplomsko delo
Organizacija:FRI - Fakulteta za računalništvo in informatiko
Kraj izida:Ljubljana
Založnik:S. Tuma
Leto izida:2013
Št. strani:41 str.
PID:20.500.12556/RUL-157510 Povezava se odpre v novem oknu
UDK:004.4(043.2)
COBISS.SI-ID:9693012 Povezava se odpre v novem oknu
Datum objave v RUL:26.05.2024
Število ogledov:392
Število prenosov:75
Metapodatki:XML DC-XML DC-RDF
:
TUMA, Samo, 2013, Combinatorial optimization of Boolean satisfiability problems : diplomsko delo [na spletu]. Diplomsko delo. Ljubljana : S. Tuma. [Dostopano 17 april 2025]. Pridobljeno s: https://repozitorij.uni-lj.si/IzpisGradiva.php?lang=slv&id=157510
Kopiraj citat
Objavi na:Bookmark and Share

Sekundarni jezik

Jezik:Slovenski jezik
Naslov:Kombinatorična optimizacija problema Booleove izpolnjivosti
Ključne besede:MAX-3SAT, hibridni genetski algoritem, lokalna optimizacija, paralelizacija, odločitveni problemi, računalništvo, univerzitetni študij, diplomske naloge

Podobna dela

Podobna dela v RUL:
  1. Minimizer extraction in polynomial optimization is robust
  2. On the embed and project algorithm for the graph bandwidth problem
  3. A new approximation hierarchy for polynomial conic optimization
  4. Prispevki k nekomutativni realni algebraični geometriji
  5. Posplošena diskriminantna analiza z uporabo posplošenega singularnega razcepa
Podobna dela v drugih slovenskih zbirkah:
  1. The tracial moment problem and trace-positive polynomials
  2. Trace-positive polynomials and the quartic tracial moment problem
  3. Algoritmični pristopi k problemu maksimalnega prereza grafov
  4. Paralelni razveji in omeji algoritem BiqMac Solver
  5. Handbook of semidefinite programming

Nazaj