Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition.
Matthew EnglandDorian FlorescuPublished in: CoRR (2019)
Keyphrases
- machine learning models
- variable ordering
- spam filtering
- branch and bound algorithm
- machine learning approaches
- machine learning algorithms
- conflict directed
- predictive model
- learning models
- machine learning
- combinatorial optimization
- max sat
- propositional satisfiability
- simulated annealing
- information extraction
- np hard
- randomly generated
- special case
- computational complexity
- optimal solution
- learning algorithm