<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.uni-lj.si/IzpisGradiva.php?id=157510"><dc:title>Combinatorial optimization of Boolean satisfiability problems</dc:title><dc:creator>Tuma,	Samo	(Avtor)
	</dc:creator><dc:creator>Brodnik,	Andrej	(Mentor)
	</dc:creator><dc:subject>MAX-3SAT</dc:subject><dc:subject>hybrid genetic algorythm</dc:subject><dc:subject>local search optimization</dc:subject><dc:subject>parallelization</dc:subject><dc:subject>decision problems</dc:subject><dc:subject>computer science</dc:subject><dc:subject>diploma</dc:subject><dc:publisher>S. Tuma</dc:publisher><dc:date>2013</dc:date><dc:date>2024-05-26 17:12:48</dc:date><dc:type>Diplomsko delo</dc:type><dc:identifier>157510</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>