A Satisfiability-Based Approach for Embedding Generalized Tanglegrams on Level Graphs (Q3007679): Difference between revisions

@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Drawing (Complete) Binary Tanglegrams
@@ Property / cites work: Drawing (Complete) Binary Tanglegrams / rank @@
+Normal rank
@@ Property / cites work @@
+On the linear-cost subtree-transfer distance between phylogenetic trees
+Normal rank
@@ Property / cites work @@
+Q3154375
@@ Property / cites work: Q3154375 / rank @@
+Normal rank
@@ Property / cites work @@
+Edge crossings in drawings of bipartite graphs
@@ Property / cites work: Edge crossings in drawings of bipartite graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing trees via crossing minimization
@@ Property / cites work: Comparing trees via crossing minimization / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Crossing Number is NP-Complete
@@ Property / cites work: Crossing Number is NP-Complete / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Planarity Testing
@@ Property / cites work: Efficient Planarity Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3549636
@@ Property / cites work: Q3549636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702944
@@ Property / cites work: Q4702944 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability of mixed Horn formulas
@@ Property / cites work: Satisfiability of mixed Horn formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q2741531
@@ Property / cites work: Q2741531 / rank @@
+Normal rank