Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2013 |
Sprache | Englisch |
Identifikator | KITopen-ID: 1000039071 |
Erschienen in | Symposium on Combinatorial Search (SoCS'13), Leavenworth, Washington/USA, July 11-13, 2013 |