@techreport{Achterberg2005, author = {Tobias Achterberg}, title = {Conflict Analysis in Mixed Integer Programming}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {05-19}, language = {eng}, year = {2005} }