Result: Soft Computing Approaches to DPLL SAT Solver Optimization
Title:
Soft Computing Approaches to DPLL SAT Solver Optimization / Raihan Hassnain Kibria. Betreuer: Hans Eveking
Published:
Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
Scope:
Online-Ressource
Format:
Language:
English
Dissertation note:
Dissertation, Darmstadt, Technische Universität Darmstadt, 2011
Other editions:
Erscheint auch als Druck-Ausgabe: Kibria, 1976-. Soft computing approaches to DPLL SAT solver optimization. - 235 S., graph. Darst.
Subject Added Keywords: