A Satisfiability-Based Approach for Embedding Generalized Tanglegrams on Level Graphs.

Ewald Speckenmeyer Andreas Wotzlaw Stefan Porschen

Published in: SAT (2011)

Keyphrases

levels of abstraction
satisfiability problem
graph embedding
bipartite graph
graph theoretic
np complete
directed graph
graph theory
graph structure
complex structures
graph structures