Analysing Vote Counting Algorithms via Logic And Its Application to the CADE Election System

Citation

Beckert, B, Gore, R & Schurmann, C 2013, 'Analysing Vote Counting Algorithms via Logic And Its Application to the CADE Election Scheme', 24th International Conference on Automated Deduction CADE-24, ed. Maria Paola Bonacina, Springer, LNCS 7898 pp. 135-144.

Year

2013

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  08 September 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers