"INFORMS Journal of Computing", one of the most prestigious journals for the publication of research articles in the field of mathematical optimization, regularly honors outstanding publications with the "Meritorious Paper Award". Recently, two ZIB researchers, Dr. Timo Berthold and Mr. Jakob Witzig, had the honor to receive this award.
The award-winning article describes how to transfer a technique called "conflict analysis" from linear optimization to non-linear optimization. The results are implemented in the non-linear optimization solver SCIP developed at the ZIB, which can be downloaded here free of charge for non-commercial use. The award-winning manuscript is available here as a ZIB preprint.

Congratulations to Jakob and Timo!