Login / Signup
A Parallel Cylindrical Algebraic Decomposition Algorithm for Quantifier Elimination on Real Closed Fields
Hari Krishna Malladi
Ambedkar Dukkipati
Published in:
CoRR (2011)
Keyphrases
</>
decomposition algorithm
quantifier elimination
decomposition method
working set
cardinality constraints
presburger arithmetic
constraint propagation
functional programming
computer vision
recognition algorithm
queueing networks
constraint databases