Subsumption Algorithms for Three-Valued Geometric Resolution.
Hans de NivellePublished in: CoRR (2017)
Keyphrases
- theoretical analysis
- machine learning
- recently developed
- computationally efficient
- optimization problems
- data structure
- computational complexity
- bayesian networks
- benchmark datasets
- orders of magnitude
- evolutionary algorithm
- computational cost
- worst case
- high quality
- times faster
- real time
- graph theory
- geometric structure