Polar SAT and related graphs (Q2466002): Difference between revisions

@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Domination, independent domination, and duality in strongly chordal graphs
+Normal rank
@@ Property / cites work @@
+Domination in permutation graphs
@@ Property / cites work: Domination in permutation graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly triangulated graphs
@@ Property / cites work: Weakly triangulated graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385570
@@ Property / cites work: Q4385570 / rank @@
+Normal rank
@@ Property / cites work @@
+Satgraphs and independent domination. I
@@ Property / cites work: Satgraphs and independent domination. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5492624
@@ Property / cites work: Q5492624 / rank @@
+Normal rank