An Automatic Method for Solving Discrete Programming Problems. - Ailsa H. Land; Alison G. Doig (50 Years of Integer Programming, 2010)