{"id":{"repo_id":"ethz","oai_identifier":"oai:www.research-collection.ethz.ch:20.500.11850/152298"},"canonical_url":"https://search.dev.ndltd.org/etd/ethz/oai:www.research-collection.ethz.ch:20.500.11850/152298","repository":{"repo_id":"ethz","name":"ETH Zürich","base_url":"https://www.research-collection.ethz.ch/oai/request"},"display":{"title":"Investigating and improving the PPSZ algorithm for SAT","abstract":null,"abstract_html":null,"abstract_has_math":false,"creators":["Hertli, Timon"],"institution":"Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Theoretical Computer Science; Zürich","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2010,"date_issued":"2010","date_published":"2010","updated_at":"2026-08-21T16:44:43Z","subjects":["PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME","ALGORITHMEN UND BERECHENBARE FUNKTIONEN (MATHEMATIK)","PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS","ALGORITHMS AND COMPUTABLE FUNCTIONS (MATHEMATICS)","Data processing, computer science"],"languages":["en"],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["https://doi.org/10.3929/ethz-a-006206989"],"render_values":[{"text":"https://doi.org/10.3929/ethz-a-006206989","href":"https://doi.org/10.3929/ethz-a-006206989","code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/20.500.11850/152298","outbound_label":"Handle","outbound_source":"dc:identifier"},"source_record":{"url":"https://www.research-collection.ethz.ch/oai/request?verb=GetRecord&metadataPrefix=qdc&identifier=oai%3Awww.research-collection.ethz.ch%3A20.500.11850%2F152298","prefix":"qdc"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Hertli, Timon"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["2010"]},{"key":"dc:publisher","label":"Institution","values":["Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Theoretical Computer Science; Zürich"]},{"key":"dc:type","label":"Dc Type","values":["Master Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME","ALGORITHMEN UND BERECHENBARE FUNKTIONEN (MATHEMATIK)","PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS","ALGORITHMS AND COMPUTABLE FUNCTIONS (MATHEMATICS)","Data processing, computer science"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://doi.org/10.3929/ethz-a-006206989","http://hdl.handle.net/20.500.11850/152298"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Investigating and improving the PPSZ algorithm for SAT"]}]}],"canonical_facts":{"dc:creator":["Hertli, Timon"],"dc:date.issued":["2010"],"dc:format":["application/pdf"],"dc:identifier":["https://doi.org/10.3929/ethz-a-006206989","http://hdl.handle.net/20.500.11850/152298"],"dc:language":["en"],"dc:publisher":["Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Theoretical Computer Science; Zürich"],"dc:subject":["PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME","ALGORITHMEN UND BERECHENBARE FUNKTIONEN (MATHEMATIK)","PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS","ALGORITHMS AND COMPUTABLE FUNCTIONS (MATHEMATICS)","Data processing, computer science"],"dc:title":["Investigating and improving the PPSZ algorithm for SAT"],"dc:type":["Master Thesis"]},"updated_at":"2026-08-21T16:44:43Z"}