21世纪经济报道记者张梓桐 上海报道行驶在北京与上海之间的京沪高铁堪称中国最为繁忙的铁路路线之一，每一辆列车何时发车，哪个时间到站，用哪个车道，这些问题都需要精密排序，在过去，这主要由人类的大脑来完成。而在约束条件与变量呈几何倍数增加的时候，人工难以穷尽最优解法。
2020年11月18日，作为中国领先的人工智能决策优化高新技术企业，杉数科技宣布已于2020年3月完成B轮融资，引入万科集团及天任投资两个重要战略股东，融资金额近亿元，资金将主要用于产品研发与推广、团队建设等。
视点 发自 凹非寺量子位 | 公众号 QbitAI疫情加速全球产业链深度重构，市场供需两侧不确定因素增加；全球经济滞胀导致出口需求衰退，工业生产过热增长不可持续；行业整体产能过剩，产品同质化严重，绿色低碳转型迫切……企业的每位高管都面临着一个必答题：如何加速塑造企业韧性来抵御市场
在工厂，物流机器人的行进路线该如何实时设计，才能效率最高又不发生碰撞？正常生产场景下，突然遇到急单，如何满足插单的同时，又尽可能不影响整体生产？双11、618等大型消费活动中，商家如何科学合理地制定需求与库存计划，才能保证高效履约？这就涉及到智能决策。
这个被 CCF 列为 B 类的会议全称为“International Conference on Theory and Applications of Satisfiability Testing”，始设于1997年，主要面向研究可满足性问题，尤其是布尔可满足性问题的科研人员，向来少为中国学者问津。
