Mixed-integer programming (MIP) problem is arguably among the hardest classes of optimization problems. This paper describes how we solved 21 previously unsolved MIP instances from the MIPLIB benchmark sets. To achieve these results we used an enhanced version of ParaSCIP, setting a new record for the largest scale MIP computation: up to 80,000 cores in … Read more
The Watson Sparse Matrix Package (WSMP) is a high-performance robust direct solver for both symmetric and unsymmetric large sparse systems of linear equations. Currently, it works in serial, multi-threaded parallel, message-passing parallel, and a combination of message-passing and multi-threaded modes on IBM RS6000 with AIX and IA32 with Linux. The symmetric solver has features to … Read more
We present large-scale optimization techniques to model the energy function that underlies the folding process of proteins. Linear Programming is used to identify parameters in the energy function model, the objective being that the model predict the structure of known proteins correctly. Such trained functions can then be used either for {\em ab-initio} prediction or … Read more