A General Framework for Secrecy Performance Analysis via Quantifier Elimination.

Minh-Tuong Nguyen Thai-Hoc Vu Sunghwan Kim

Published in: IEEE Commun. Lett. (2022)

Keyphrases

quantifier elimination
constraint propagation
functional programming
presburger arithmetic
constraint databases
first order logic
cardinality constraints
constraint query languages
execution model
database
database design
expressive power