In this survey we examine ways to reformulate integer and mixed integer programs. Typically, but not exclusively, one reformulates so as to obtain stronger linear programming relaxations, and hence better bounds for use in a branch-and-bound based algorithm. First we cover in detail...

In bioenergy villages, local bioenergy plants are installed to supply electricity, which is fed into the national grid, and to heat households through a local heat distribution network. In this paper, a linear mathematical model, which economically optimizes local bioenergy production and...