Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning.

Matthew England

Published in: ISSAC (2020)

Keyphrases

quantifier elimination
machine learning
functional programming
constraint propagation
knowledge representation
presburger arithmetic
databases
database systems
general purpose
cardinality constraints
data mining
expert systems
relational databases