Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition.

Matthew England Dorian Florescu

Published in: CICM (2019)

Keyphrases

machine learning models
variable ordering
branch and bound algorithm
machine learning algorithms
spam filtering
machine learning approaches
conflict directed
predictive model
learning algorithm
learning models
max sat
propositional satisfiability
semi supervised learning
orders of magnitude