Directed hypergraphs and applications (Q1803674): Difference between revisions

@@ Property / cites work @@
+Graph Algorithms for Functional Dependency Manipulation
+Normal rank
@@ Property / cites work @@
+Q5187320
@@ Property / cites work: Q5187320 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal Representation of Directed Hypergraphs
@@ Property / cites work: Minimal Representation of Directed Hypergraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic maintenance of directed hypergraphs
@@ Property / cites work: Dynamic maintenance of directed hypergraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3941433
@@ Property / cites work: Q3941433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216697
@@ Property / cites work: Q3216697 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993087
@@ Property / cites work: Q3993087 / rank @@
+Normal rank
@@ Property / cites work @@
+Directed recursive labelnode hypergraphs: A new representation-language
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Shortest path methods: A unifying approach
@@ Property / cites work: Shortest path methods: A unifying approach / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for testing the satisfiability of propositional formulae
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Programming as Graph Searching: An Algebraic Approach
+Normal rank
@@ Property / cites work @@
+Unification as a complexity measure for logic programming
+Normal rank
@@ Property / cites work @@
+On the complexity of the maximum satisfiability problem for Horn formulas
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized AND/OR graphs
@@ Property / cites work: Generalized AND/OR graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum Covers in Relational Database Model
@@ Property / cites work: Minimum Covers in Relational Database Model / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibrium traffic assignment for large scale transit networks
+Normal rank
@@ Property / cites work @@
+Q3835329
@@ Property / cites work: Q3835329 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856120
@@ Property / cites work: Q3856120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821642
@@ Property / cites work: Q3821642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3347338
@@ Property / cites work: Q3347338 / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction graphs: an algorithm and applications
@@ Property / cites work: Deduction graphs: an algorithm and applications / rank @@
+Normal rank