Strengthening Full Justified Representation: Efficient Verification and Computation

Nicholas Teh

Full justified representation (FJR) is among the strongest known satisfiable proportionality axioms for approval-based committee elections. Recent work has shown that an FJR commit…