Solving Large-Scale Zero-One Linear Programming Problems