Mathematical Sciences Computing Research Environments

9406327 Hammer RUTCOR，罗格斯大学运筹学研究中心，新泽西州立大学将购买高容量计算设备，专门用于支持运筹学研究。该设备将用于几个研究项目，特别是用于解决大规模的可满足性问题，用于开发逻辑最小化的有效算法，用于实现大规模线性和非线性规划问题的内点算法，以及用于解决非常大规模的特殊结构线性规划问题。

9406327 Hammer RUTCOR, Rutgers Center for Operations Research at Rutgers University, The State University of New Jersey will purchase high capacity computing equipment which will be dedicated to the support of research in operations research. The equipment will be used for several research projects, in particular for solving large scale satisfiability problems, for developing efficient algorithms in logic minimization, for implementing interior point algorithms for large scale linear and nonlinear programming problems, and for the solution of very large scale specially structured linear programming problems.