TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: Englisch
Anzahl der Einträge: 1.
Englisch
Kibria, Raihan H. ; Li, You (2006)
Optimizing the Initialization of Dynamic Decision Heuristics in DPLL SAT Solvers Using Genetic Prog.
Konferenzveröffentlichung, Bibliographie