人工智能与优化研究所（简称：智能所）是国内最早从事NP难问题算法研究的团队，在成立至今40余年的时间里一直聚焦NP难问题的高效求解算法研究及其工业应用，同时重点研究人工智能基础理论算法及应用方面的研究。主要研究方向包括：NP难问题求解、EDA算法（电子设计自动化）、计算智能、群体智能、工业优化、深度学习、数据挖掘与机器学习、社交网络挖掘、自然语言处理、物联网技术与应用等。智能所现有教授3人，副教授6人，讲师5人。智能所与美国国家工程院院士、冯·诺依曼理论奖获得者Fred Glover以及美国国家科学院、工程院和艺术与科学院三院院士、图灵奖获得者John Hopcroft保持长期合作，同时建有John Hopcroft实验室。

计算机辅助设计国际会议ICCAD 2021 CAD Contest布局布线算法竞赛冠军（全球第一名）获奖证书

2020年阿里巴巴与清华大学“安全AI挑战者计划”第二期ImageNet图像分类对抗攻击竞赛全国第一名获奖证书

智能所做出了一系列具有国际影响力的成果，其中包括：1979年，在国际上首次提出了求解NP难度问题的拟物方法，为NP难度问题的现实求解指出了一条可行的途径；1987年，完美地解决了曾困惑国际学术界近20余年的Tseitin问题；1996年，在第三届“SAT问题快速算法国际邀请赛”中获得冠军（全球第一名）；2017年，在“SAT问题国际算法竞赛”中获得冠军（全球第一名）；2021年，首次参加被誉为“芯片之母”的EDA领域国际顶会ICCAD“CAD Contest布局布线算法竞赛”获得冠军（全球第一名）；2020年和2021年，连续两年在进化计算领域国际会议GECCO“最优摄像机布局国际算法竞赛”获得冠军（全球第一名）；2022年，在美国离散数学与计算机研究中心DIMACS“路径优化国际算法挑战赛”中获得两项冠军（全球第一名）。智能所在人工智能与智能优化领域的国际著名期刊和会议上发表学术论文400余篇，如人工智能领域顶级会议和期刊AAAI、IJCAI、NIPS、CVPR、ICCV、ACL、TKDD、TKDE、IJOC、Artificial Intelligence等。

2017年SAT问题国际算法竞赛冠军（全球第一名）获奖证书和奖牌

2020年和2021年进化计算领域GECCO会议最优摄像机布局国际算法竞赛冠军（全球第一名）获奖证书

智能所承担了多项国家级科研项目，其中包括：国家“973”重点基础研究项目子项目、国家“863”高技术发展计划子项目、教育部博士点基金、教育部新世纪优秀人才支持项目、国家自然科学基金项目等。同时，智能所注重人工智能与智能优化算法理论与实际工业应用相结合，积极开展与大公司在EDA、复杂系统建模、工业优化、数据挖掘与分析、自然语言处理、计算机视觉等领域的工业应用方面的合作，研究成果在EDA、先进制造、云计算、通信、航空、航天、物流、安防、金融等领域得到广泛应用，为合作方提供了可供实用的智能化解决方案。