KIT | KIT-Bibliothek | Impressum | Datenschutz

Solving the YQT-office-planning-problem with COKE

Poeck, Karsten



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1992
Sprache Englisch
Identifikator KITopen-ID: 203092
Erscheinungsvermerk In: Proceedings. Sisyphus '92: Models of problem solving, Otzenhausen 1992. Ed.: M. Linster. St. Augustin 1992. (Arbeitspapiere der GMD. 630.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page