Constructing and verifying a robust Mix Net using CSP.

Efstathios Stathakidis David M. Williams James Heather

Published in: Softw. Syst. Model. (2016)

Keyphrases

constraint satisfaction problems
constraint satisfaction
real time
computationally efficient
data sets
neural network
information systems
np hard
arc consistency
robust estimation