Existential Assertions for Voting Protocols.

Ramaswamy Ramanujam Vaishnavi Sundararajan S. P. Suresh

Published in: CoRR (2017)

Keyphrases

voting protocols
electronic voting
np hard
query answering
knowledge base
special case
wireless networks