Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition.
Zongyan HuangMatthew EnglandDavid J. WilsonJames H. DavenportLawrence C. PaulsonJames P. BridgePublished in: CICM (2014)
Keyphrases
- variable ordering
- machine learning
- branch and bound algorithm
- conflict directed
- strongly connected components
- forward checking
- learning algorithm
- binary decision diagrams
- max sat
- data mining
- information extraction
- constraint satisfaction problems
- optimal solution
- branch and bound
- search algorithm
- simulated annealing
- natural language processing
- upper bound
- knowledge representation
- evolutionary algorithm
- lower bound
- natural language