%% -*-BibTeX-*- @Article{AmaldiPfetschTrotter2003, author = "E. Amaldi and Marc E. Pfetsch and Leslie E. {Trotter,~Jr.}", title = "On the maximum feasible subsystem problem, {IIS}s, and {IIS}-hypergraphs", journal = "Mathematical Programming", volume = "95", number = "3", pages = "533--554", year = "2003", }