%% -*-BibTeX-*- @Article{RoyWolsey1987, author = "T. J. Van Roy and L. A. Wolsey", title = "Solving Mixed Integer Programming Problems Using Automatic Reformulation", journal = "Operations Research", volume = "35", number = "1", pages = "45--57", year = "1987", instance = "fixnet6, modglob", language = "English", }