Linear Quantifier Elimination as an Abstract Decision Procedure.

Nikolaj Bjørner

Published in: IJCAR (2010)

Keyphrases

quantifier elimination
constraint query languages
constraint databases
constraint propagation
cardinality constraints
first order logic
functional programming
presburger arithmetic
boolean algebra
high level
software engineering
constraint satisfaction