智慧计算与优化实验室隶属于华中科技大学计算机科学与技术学院。智慧计算也称为绿色计算，其本质在于，对实际应用中复杂的决策和优化问题，运用高效的优化与决策技术来提供有效的解决方案，用最小的时间和成本，实现最大的效用。实验室深信智慧（绿色）计算与优化是二十一世纪的核心技术，致力于深化运筹优化理论与方法的研究，推动优化技术在国民经济中的广泛应用。

     在前任领导黄文奇教授的带领下，实验室做出了一系列具有国际影响力的工作，其中包括：1979年，在国际上首次提出了求解NP难度问题的拟物方法，为NP难度问题的现实求解指出了一条可行的途径；1987年，完美地解决了曾困惑国际学术界近20余年的Tseitin问题；1996年，在第...