Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition.
Rohit JohnJames H. DavenportPublished in: ICMS (2024)
Keyphrases
- machine learning models
- variable ordering
- branch and bound algorithm
- spam filtering
- machine learning algorithms
- machine learning approaches
- conflict directed
- max sat
- learning models
- predictive model
- machine learning
- machine learning methods
- propositional satisfiability
- industrial applications
- semi supervised
- binary decision diagrams
- lower bound