| Typ des Eintrags: |
Konferenzveröffentlichung
|
| Erschienen: |
2006 |
| Autor(en): |
Kibria, Raihan H. ; Li, You |
| Art des Eintrags: |
Bibliographie |
| Titel: |
Optimizing the Initialization of Dynamic Decision Heuristics in DPLL SAT Solvers Using Genetic Prog. |
| Sprache: |
Englisch |
| Publikationsjahr: |
2006 |
| Reihe: |
Genetic Programming: 9th European Conference, EuroGP 2006 <Budapest, Hungary,2006> ; Genetic Programming: 9th European Conference, EuroGP 2006, Proceedings ; S. 331 - 340 ; ISBN: 3-540-33143-3 |
| Zusätzliche Informationen: |
Digital Object Identifier: http://dx.doi.org/10.1007/11729976_30 |
| Fachbereich(e)/-gebiet(e): |
18 Fachbereich Elektrotechnik und Informationstechnik |
| Hinterlegungsdatum: |
20 Nov 2008 08:23 |
| Letzte Änderung: |
05 Mär 2013 09:07 |
| PPN: |
|
| Export: |
|
| Suche nach Titel in: |
TUfind oder in Google |
 |
Redaktionelle Details anzeigen |
Drucken
Impressum