This article is a survey about recent developments in the area of test sets of families of linear integer programs. Test sets are finite subsets of the integer lattice that allow to improve any given feasible non-optimal point of an integer program by one element in the set. There are various...

The reconstruction of biochemical and genetic networks from experimental data is an important challenge in biology and medical basic research. We formalize this problem mathematically and present an exact algorithm for its solution. Our procedure yields either a complete list of all alternative...