Cylindrical algebraic decomposition with equational constraints.

Matthew England Russell J. Bradford James H. Davenport

Published in: J. Symb. Comput. (2020)

Keyphrases

theorem proving
decomposition methods
linear constraints
constraint satisfaction
resource constraints
global constraints
constrained optimization
higher order
np hard
logic programs
data mining
multiresolution
relational databases
objective function
wavelet packet
case study
decomposition method
decision trees