Hoos, Holger H. (1996)
Solving hard combinatorial problems with GSAT - a case study.
In: KI-96: Advances in Artificial Intelligence. Hrsg.: G. Görz (u.a.) - Berlin (u.a.): Springer, 1996. S. 107-119
Book Section
| Item Type: | Book Section |
|---|---|
| Erschienen: | 1996 |
| Creators: | Hoos, Holger H. |
| Type of entry: | Bibliographie |
| Title: | Solving hard combinatorial problems with GSAT - a case study |
| Language: | English |
| Date: | 1 January 1996 |
| Place of Publication: | Berlin (u.a.) |
| Publisher: | Springer |
| Book Title: | KI-96: Advances in Artificial Intelligence. Hrsg.: G. Görz (u.a.) - Berlin (u.a.): Springer, 1996. S. 107-119 |
| Series Volume: | 1137 |
| Divisions: | 20 Department of Computer Science |
| Date Deposited: | 19 Nov 2008 16:19 |
| Last Modified: | 05 Mar 2013 08:41 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum