scientific article; zbMATH DE number 3988689
From MaRDI portal
Publication:3750987
Recommendations
Cited in
(10)- LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
- Local algorithms on graphs
- Implicit graphs
- scientific article; zbMATH DE number 3872626 (Why is no real title available?)
- scientific article; zbMATH DE number 49984 (Why is no real title available?)
- Basic graph algorithms
- scientific article; zbMATH DE number 194946 (Why is no real title available?)
- scientific article; zbMATH DE number 4121464 (Why is no real title available?)
- A Java Library of Graph Algorithms and Optimization
- Structurally fixed modes: Decomposition and reachability
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3750987)