Solving Weighted Voting Game Design Problems Optimally: Representations, Synthesis, and Enumeration | Read Paper on Bytez