A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities (Q3730348): Difference between revisions

@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q4132250
@@ Property / cites work: Q4132250 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Asymptotic Complexity of Matrix Multiplication
+Normal rank
@@ Property / cites work @@
+Solving Large-Scale Zero-One Linear Programming Problems
+Normal rank
@@ Property / cites work @@
+Logical Reduction Methods in Zero-One Programming—Minimal Preferred Variables
+Normal rank
@@ Property / cites work @@
+Q3907407
@@ Property / cites work: Q3907407 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3050132
@@ Property / cites work: Q3050132 / rank @@
+Normal rank
@@ Property / cites work @@
+A cascade algorithm for the logical closure of a set of binary relations
+Normal rank
@@ Property / cites work @@
+Uniquely solvable quadratic Boolean equations
@@ Property / cites work: Uniquely solvable quadratic Boolean equations / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for the transitive closure and a linear worst-case complexity result for a class of sparse graphs
+Normal rank
@@ Property / cites work @@
+Degree-two Inequalities, Clique Facets, and Biperfect Graphs
+Normal rank
@@ Property / cites work @@
+Linear expected-time algorithms for connectivity problems
+Normal rank
@@ Property / cites work @@
+Efficient determination of the transitive closure of a directed graph
+Normal rank
@@ Property / cites work @@
+A transitive closure algorithm
@@ Property / cites work: A transitive closure algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Gaussian elimination is not optimal
@@ Property / cites work: Gaussian elimination is not optimal / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+A Theorem on Boolean Matrices
@@ Property / cites work: A Theorem on Boolean Matrices / rank @@
+Normal rank