Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition.
Lynn PickeringTereso Del Rio AlmajanoMatthew EnglandKelly CohenPublished in: J. Symb. Comput. (2024)
Keyphrases
- variable ordering
- artificial intelligence
- branch and bound algorithm
- conflict directed
- strongly connected components
- expert systems
- binary decision diagrams
- forward checking
- max sat
- machine learning
- knowledge representation
- lower bound
- objective function
- data mining
- logic programs
- np complete
- upper bound
- propositional satisfiability
- evolutionary algorithm
- natural language