Concepedia

Directed hypergraphs and applications

Giorgio Gallo

Discrete Applied Mathematics · 1993 · 158 citations · 15 references

DOI

Concepts

References

15

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.2K citations · Full text

, , +17

Linear-time algorithms for testing the satisfiability of propositional horn formulae

William F. Dowling, Jean Gallier · The Journal of Logic Programming · 1984 · 1K citations

, , +11

Equilibrium traffic assignment for large scale transit networks

Sarah Nguyen, Stefano Pallottino · European Journal of Operational Research · 1988 · 385 citations

, , +13

Minimum Covers in Relational Database Model

David Maier · Journal of the ACM · 1980 · 131 citations · Full text

, , +7

Minimal Representation of Directed Hypergraphs

Giorgio Ausiello, Aurora D’Atri, Domenico Saccà · SIAM Journal on Computing · 1986 · 104 citations

, , +12