This book provides a handy, unified introduction to the theory of compact extended formulations of exponential-size integer linear programming (ILP) models. Compact extended formulations are equally powerful polynomial-sized models whose solutions do not require the implementation of separation...

Computing a biproportional apportionment that satisfies some given properties may require a high degree of mathematical expertise, that very few voters can share. It seems therefore that the voters have to accept the electoral outcome without any possibility of checking the validity of the...

One of the most active research lines in the area of electoral systems to date deals with the Biproportional Apportionment Problem, which arises in those proportional systems where seats must be allocated to parties within territorial constituencies. A matrix of the vote counts of the parties...