Generalized \(k\)-ary tanglegrams on level graphs: a satisfiability-based approach and its evaluation (Q714020): Difference between revisions

@@ Property / describes a project that uses @@
+CPLEX
@@ Property / describes a project that uses: CPLEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sat4j
@@ Property / describes a project that uses: Sat4j / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.dam.2012.05.028
+Normal rank
@@ Property / OpenAlex ID @@
+W2108601082
@@ Property / OpenAlex ID: W2108601082 / rank @@
+Normal rank
@@ 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 @@
+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 @@
+Conflict-Driven Answer Set Enumeration
@@ Property / cites work: Conflict-Driven Answer Set Enumeration / 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 @@
+Drawing Binary Tanglegrams: An Experimental Evaluation
+Normal rank
@@ Property / cites work @@
+Satisfiability of mixed Horn formulas
@@ Property / cites work: Satisfiability of mixed Horn formulas / rank @@
+Normal rank
@@ Property / cites work @@
+A Satisfiability-Based Approach for Embedding Generalized Tanglegrams on Level Graphs
+Normal rank