Directed hypergraphs and applications
- 1 April 1993
- journal article
- Published by Elsevier in Discrete Applied Mathematics
- Vol. 42 (2-3), 177-201
- https://doi.org/10.1016/0166-218x(93)90045-p
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Algorithms for testing the satisfiability of propositional formulaeThe Journal of Logic Programming, 1989
- Deduction graphs: an algorithm and applicationsIEEE Transactions on Software Engineering, 1989
- On the complexity of the maximum satisfiability problem for horn formulasInformation Processing Letters, 1987
- Database design: composing fully normalized tables from a rigorous dependency diagramCommunications of the ACM, 1985
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984
- Graph Algorithms for Functional Dependency ManipulationJournal of the ACM, 1983
- Dynamic Programming as Graph Searching: An Algebraic ApproachJournal of the ACM, 1981
- Formal aspects of the relational modelInformation Systems, 1978
- Directed recursive labelnode hypergraphs: A new representation-languageArtificial Intelligence, 1977
- Generalized and/or graphsArtificial Intelligence, 1976