Sign in
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition.
Lynn Pickering
Tereso Del Rio Almajano
Matthew England
Kelly Cohen
Published in:
CoRR (2023)
Keyphrases
</>
variable ordering
branch and bound algorithm
artificial intelligence
strongly connected components
conflict directed
propositional satisfiability
lower bound
expert systems
machine learning
logic programs
max sat
forward checking
data mining
knowledge based systems
randomly generated