Login / Signup

Quantifier elimination by cylindrical algebraic decomposition based on regular chains.

Changbo ChenMarc Moreno Maza
Published in: J. Symb. Comput. (2016)
Keyphrases
  • quantifier elimination
  • constraint propagation
  • functional programming
  • presburger arithmetic
  • first order logic
  • cardinality constraints
  • constraint databases
  • search algorithm