Evolutionary Virtual Term Substitution in a Quantifier Elimination System.

Published in: SC-square@SIAM AG (2019)

Keyphrases

quantifier elimination
constraint propagation
functional programming
presburger arithmetic
cardinality constraints
constraint databases
first order logic
database
query processing
constraint satisfaction