Satisfiability of co-nested formulas (Q1323332): Difference between revisions

@@ Property / cites work @@
+The complexity of induced minors and related problems
+Normal rank
@@ Property / cites work @@
+The Planar Hamiltonian Circuit Problem is NP-Complete
+Normal rank
@@ Property / cites work @@
+Efficient Planarity Testing
@@ Property / cites work: Efficient Planarity Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Nested satisfiability
@@ Property / cites work: Nested satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Noncrossing Subgraphs in Topological Layouts
@@ Property / cites work: Noncrossing Subgraphs in Topological Layouts / rank @@
+Normal rank
@@ Property / cites work @@
+Planar Formulae and Their Uses
@@ Property / cites work: Planar Formulae and Their Uses / rank @@
+Normal rank