Using Machine Learning to Improve Cylindrical Algebraic Decomposition.
Zongyan HuangMatthew EnglandDavid J. WilsonJames H. DavenportLawrence C. PaulsonPublished in: CoRR (2018)
Keyphrases
- machine learning
- artificial intelligence
- reinforcement learning
- information extraction
- learning algorithm
- image processing
- databases
- knowledge discovery
- text mining
- knowledge representation
- supervised machine learning
- decomposition method
- machine learning approaches
- learning systems
- knowledge acquisition
- computational intelligence
- training data
- decision trees
- computer vision
- real world