New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis.
Tereso del RíoMatthew EnglandPublished in: CASC (2022)
Keyphrases
- variable ordering
- complexity analysis
- branch and bound algorithm
- lower bound
- conflict directed
- strongly connected components
- theoretical analysis
- forward checking
- max sat
- propositional satisfiability
- computational complexity
- first order logic
- binary decision diagrams
- upper bound
- np hard
- linear programming
- constraint satisfaction