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

Ewald Speckenmeyer, Andreas Wotzlaw, Stefan Porschen

Browse the full SAT paper archive.