资源列表
[数学计算/工程计算] minisat
说明:SAT Solver. Accepts CNF file as input and returns SATISFIABLE and the respective answer, or UNSATISFIABLE<José Bernardo Dias> 在 2024-11-01 上传 | 大小:367616 | 下载:0
[数学计算/工程计算] metis-5.1.0
说明:Graph partitioning program. Just compile and use. Accepts graph file as input<José Bernardo Dias> 在 2024-11-01 上传 | 大小:5393408 | 下载:0
[数学计算/工程计算] Interior-point-method
说明:内点法的算法技术文章,千万不要错过,有其适合初学者学习-Interior Point Algorithm for technical articles, do not miss, there it is suitable for beginners to learn<胡长晖> 在 2024-11-01 上传 | 大小:301056 | 下载:0
[数学计算/工程计算] prob1083
说明:Problem 1083 from http://acm.timus.ru/<daisukebol> 在 2024-11-01 上传 | 大小:215040 | 下载:0