Algorithms for Constructing Minimal Deduction Graphs.
Chao-Chih YangJennifer Jau-Yin ChenH. Lewis ChauPublished in: IEEE Trans. Software Eng. (1989)
Keyphrases
- computationally efficient
- graph theory
- significant improvement
- recently developed
- benchmark datasets
- polynomial time complexity
- random graphs
- theorem proving
- combinatorial optimization
- times faster
- orders of magnitude
- neural network
- theoretical analysis
- computational cost
- data structure
- reinforcement learning
- data mining