Abstract
Kidney exchange programs (KEPs) allow the exchange of kidneys between incompatible donor-recipient pairs. Optimization approaches can help KEPs in defining which transplants should be made among all incompatible pairs according to some objective. The most common objective is to maximize the number of transplants. In this paper, we propose an integer programming model which addresses the objective of maximizing the expected number of transplants, given that there are equal probabilities of failure associated with vertices and arcs. The model is compact, i.e. has a polynomial number of decision variables and constraints, and therefore can be solved directly by a general purpose integer programming solver (e.g. Cplex).

Abstract
This paper addresses the problem of maximising the expected number of transplants in kidney exchange programmes. New schemes for matching rearrangement in case of failure are presented, along with a new tree search algorithm used for the computation of optimal expected values. Extensive computational experiments demonstrate the effectiveness of the algorithm and reveal a clear superiority of a newly proposed scheme, subset-recourse, as compared to previously known approaches.

Abstract
The kidney exchange problem (KEP) is an optimization problem arising in the framework of transplant programs that allow exchange of kidneys between two or more incompatible patient-donor pairs. In this paper an approach based on a new decomposition model and branch-and-price is proposed to solve large KEP instances. The optimization problem considers, hierarchically, the maximization of the number of transplants and the minimization of the size of exchange cycles. Computational comparison of different variants of branch-and-price for the standard and the proposed objective functions are presented. The results show the efficiency of the proposed approach for solving large instances.

Abstract
Phasor Measurement Units (PMUs) are measuring devices that, when placed in electrical networks, observe their state by providing information on the currents in their branches (transmission lines) and voltages in their buses. Compared to other devices, PMUs have the capability of observing other nodes besides the ones they are placed on. Due to a set of observability rules, depending on the placement decisions, the same number of PMUs can monitor a higher or smaller percentage of a network. This leads to the optimization problem hereby addressed, the PMU Placement Problem (PPP) which aims at determining the minimum number and location of PMUs that guarantee full observability of a network at minimum cost. In this paper we propose two general mathematical programming models for the PPP: a single-level and a bilevel integer programming model. To strengthen both formulations, we derive new valid inequalities and promote variable fixing. Furthermore, to tackle the bilevel model, we devise a cutting plane algorithm amended with particular features that improve its efficiency. The efficiency of the algorithm is validated through computational experiments. Results show that this new approach is more efficient than state-of-the-art proposals.

Abstract
In recent years several countries have set up policies that allow exchange of kidneys between two or more incompatible patient-donor pairs. These policies lead to what is commonly known as kidney exchange programs. The underlying optimization problems can be formulated as integer programming models. Previously proposed models for kidney exchange programs have exponential numbers of constraints or variables, which makes them fairly difficult to solve when the problem size is large. In this work we propose two compact formulations for the problem, explain how these formulations can be adapted to address some problem variants, and provide results on the dominance of some models over others. Finally we present a systematic comparison between our models and two previously proposed ones via thorough computational analysis. Results show that compact formulations have advantages over non-compact ones when the problem size is large.

Abstract
In this paper we address the problem of maximizing the expected number of transplants in a kidney exchange program. We propose an integer programming model with an exponential number of decision variables which are associated with cycles. By introducing the concept of type of cycle, we avoid the complete cycle enumeration and develop a branch-and-price approach. © 2016 Elsevier B.V.