Algorithms and Proofs Inheritancey in the FOC Language.
Virgile PrevostoDamien DoligezPublished in: J. Autom. Reason. (2002)
Keyphrases
- orders of magnitude
- theoretical analysis
- times faster
- benchmark datasets
- combinatorial optimization
- computational complexity
- computational cost
- database
- programming language
- recently developed
- language learning
- machine learning algorithms
- significant improvement
- query processing
- database systems
- learning algorithm
- neural network