TY - RPRT TI - Solving Weighted Voting Game Design Problems Optimally: Representations, Synthesis, and Enumeration AU - Bart de Keijzer AU - Tomas B. Klos AU - Yingqian Zhang PY - 2013 UR - https://arxiv.org/abs/1204.5213 ID - 1204.5213 ER -