Login / Signup

Parallelization of Quantifier Elimination on a Workstation Network.

Hoon Hong
Published in: AAECC (1993)
Keyphrases
  • quantifier elimination
  • constraint databases
  • artificial intelligence
  • first order logic
  • cardinality constraints
  • functional programming
  • high level
  • optimal solution
  • np hard