Login / Signup

Quantifier Elimination for Neocompact Sets.

H. Jerome Keisler
Published in: J. Symb. Log. (1998)
Keyphrases
  • quantifier elimination
  • constraint propagation
  • functional programming
  • presburger arithmetic
  • constraint databases
  • first order logic
  • cardinality constraints
  • machine learning
  • search algorithm
  • message passing