合作需求
Cooperation Dmand
晞德求索（北京）科技有限公司
报名类型: 新一代信息技术        项目名称：基于AI+数学的工业软件求解器与计算方案
状态
征集中
报名分类
新一代信息技术 
公司/团队名称
晞德求索（北京）科技有限公司 
公司/团队简介
晞德求索以数学求解与人工智能为核心技术，致力于为工业软件打造高性能求解器与计算方案。 公司成立两年，已获得中关村高新技术企业、科技型中小企业等资质，入选2024中关村论坛《百项新技术新产品》榜单，并在多个创业比赛中获得奖项：第七届中关村前沿科技创新大赛大数据与云计算领域第二名，第十二届中国创新创业大赛北京赛区初创组二等奖、获全国“优秀企业”称号，第六届中关村前沿科技创新大赛新一代信息技术赛道TOP10，2023中关村科学城科创大赛初创组第四名、三等奖。 求解器的研发不仅需要深厚的数学理论基础，也需要强大的工程实现能力。晞德的创始团队皆为著名高校计算机/数学博士，深耕求解器领域十余年，连续11年获得求解器比赛世界冠军。晞德的SMT求解器也代表中国首次获得国际联合逻辑大会FLoC奥林匹克金牌。 晞德现已成功研发了多款具有自主知识产权的求解器，主要分为逻辑求解器和运筹优化求解器两大类，以及两款AI工具，自动调参工具和自动建模工具。晞德通过AI工具+数学求解器，为不同工业软件提供高性能计算能力，解决工业场景中的复杂数学问题，降低数学使用门槛，最终赋能芯片设计、信息安全、工业制造、能源电力、交通物流、国防军工等多个行业。 
需求分类需求标题需求详情状态
市场需求寻求与EDA、PLM/BOM、APS等工业软件企业合作寻求与EDA、PLM/BOM、APS等工业软件企业合作，为其提供更高性能的SAT/SMT/MIP求解器和知识编译器征集中
联系方式
  张老师（13811793060）            杜老师（15512566201）
友情链接
中关村产业技术联盟联合会中国科协科学技术创新部中国科协企业创新服务中心北京市科委、中关村管委会北京市科学技术协会中关村科学城管委会北京市欧美同学会（北京市留学人员联谊会）启迪之星
联系我们
单位：中关村产业技术联盟联合会 联系方式：010-62780935 工作时间：09:00-17:00
备案号 京ICP备17037497号-1