Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme.

Bernhard Beckert Rajeev Goré Carsten Schürmann

Published in: CADE (2013)

Keyphrases

learning algorithm
computational complexity
times faster
data structure
computational cost
optimization problems
recently developed
feature selection
video sequences
knowledge representation
simulated annealing
theoretical analysis
orders of magnitude