6月20日星期一：前沿研究院特邀研究员讲座：“利用约束满足问题的智能系统及其应用”

Abdul Sattar 教授正在研究通过使用约束满足问题对复杂的现实世界进行建模来有效解决现实世界中的各种问题的方法。在本次讲座中，他将介绍通过最近的研究成果获得的最新方法，涉及约束满足问题的计算问题。