Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving.
Christopher W. BrownGlenn Christopher DavesPublished in: ICMS (2020)
Keyphrases
- constraint solving
- machine learning
- constraint propagation
- constraint solvers
- constraint logic programming
- constraint solver
- constraint satisfaction problems
- constraint programming
- information extraction
- feature selection
- machine learning algorithms
- constraint satisfaction
- search algorithm
- knowledge representation
- decision trees
- learning algorithm
- context aware
- data structure
- reinforcement learning
- explanation based learning
- combinatorial problems
- knowledge base