Metalevel Algorithms for Variant Satisfiability.
Stephen SkeirikJosé MeseguerPublished in: WRLA (2016)
Keyphrases
- computational complexity
- computationally expensive
- theoretical analysis
- genetic algorithm
- recently developed
- computational cost
- learning algorithm
- data mining algorithms
- optimization problems
- data structure
- description logics
- significant improvement
- machine learning algorithms
- decision trees
- times faster
- knowledge base
- satisfiability problem
- stochastic local search