A Satisfiability-based Approach for Embedding Generalized Tanglegrams on Level Graphs

Konferenzbeitrag › Konferenzpaper › 2011

Zitation

Speckenmeyer, E., Wotzlaw, A., Porschen, Stefan: A Satisfiability-based Approach for Embedding Generalized Tanglegrams on Level Graphs. In: Lecture Notes in Computer Science, Proceedings SAT 2011. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer-Verlag 2011( 6695), S. 134-144.

ISSN

0302-9743

ISBN

978-3-642-21580-3

Zitieren

BibTeX / RIS