Second Order Quantifier Elimination: Towards Verification Applications.

Silvio Ghilardi Elena Pagani

Published in: SOQE (2017)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
first order logic
cardinality constraints
constraint databases
model checking
machine learning
constraint programming
artificial intelligence
linear programming
constraint satisfaction
query evaluation
inference rules