Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen [1] | Hilfe |
Suche: Citkey="Stearns-Hunt/96" |
SIAM Journal on Computing 25 (2), 1996, pp. 448-476
Publisher: | Society for Industrial and Applied Mathematics | |
Address: | Philadelphia, PA | |
Keywords: | GSP, structure tree, SAT, separator, tree decomposition, treewidth, bounded bandwidth, nonserial optimization, hierarchical specifications | |