Counter Simulations via Higher Order Quantifier Elimination: a preliminary report.

Silvio Ghilardi Elena Pagani

Published in: PxTP (2017)

Keyphrases

quantifier elimination
higher order
constraint propagation
presburger arithmetic
functional programming
first order logic
cardinality constraints
constraint databases
markov random field
pairwise
expert systems
data streams
object oriented
logic programming