Quantifier Elimination for Reasoning in Economics.

Casey B. Mulligan Russell J. Bradford James H. Davenport Matthew England Zak Tonks

Published in: CoRR (2018)

Keyphrases

quantifier elimination
constraint propagation
first order logic
functional programming
presburger arithmetic
cardinality constraints
knowledge base
automated reasoning
constraint databases
knowledge representation
constraint satisfaction problems
constraint programming
database
general purpose