Uniform First-Order Threshold Implementations.

Tim Beyne Begül Bilgin

Published in: IACR Cryptol. ePrint Arch. (2016)

Keyphrases

higher order
first order logic
threshold selection
horn clauses
search algorithm
efficient implementation
quantifier elimination
databases
data mining
multi agent
thresholding method