Sign in

TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics.

Casey B. MulliganJames H. DavenportMatthew England
Published in: ICMS (2018)
Keyphrases
  • quantifier elimination
  • constraint propagation
  • cardinality constraints
  • functional programming
  • first order logic
  • constraint databases
  • presburger arithmetic
  • data streams
  • constraint satisfaction
  • query evaluation