搜索结果: 1-5 共查到“理学 SMT”相关记录5条 . 查询时间(0.046 秒)
中国科学院软件所分布式SMT求解器研究工作获CAV杰出论文奖（图）
系统 结构 非线性算术
2024/9/20
2024年7月25日，中国科学院软件研究所基础软件与系统重点实验室（计算机科学国家重点实验室）的论文Distributed SMT Arithmetic Theories Solving Based on Dynamic Variable－level Partitioning在形式化验证领域国际旗舰会议Computer Aided Verification（CAV 2024）上荣获杰出论文奖（CA...
从SAT到SMT——逻辑约束求解研究获新突破（图）
SAT SMT 逻辑约束求解
2023/3/15
近日，中国科学院软件研究所蔡少伟团队在逻辑约束求解器研究中获得新突破，SAT求解器和SMT求解器研究上的成果被重要期刊和会议录用，并在SAT、MaxSAT和SMT竞赛中斩获佳绩。
求解器被誉为“工业软件之魂”，是继芯片与操作系统之后的国之重器。命题逻辑可满足性问题（SAT）和可满足性模理论问题（SMT）是两个最重要的逻辑约束问题，SAT是命题逻辑上的约束求解问题， SMT是一阶谓词逻辑上的约束求...
近日，形式化验证顶级会议CAV 2021会议公布了第十六届国际可满足性模理论比赛(SMT-COMP 2021)比赛结果。中国科学院软件研究所计算机科学国家重点实验室蔡少伟研究员与其学生李博涵、张昕荻研发的求解器荣获整数差分逻辑(QF_IDL)组冠军，这是中国团队首次在SMT-COMP比赛中获得冠军。
关于举办2013中国高端SMT学术会议（第七届）征文通知
2013 中国高端SMT学术会议 第七届 征文通知
2013/5/10
由四川省电子学会SMT专委会、广东省电子学会SMT专委会、陕西省电子学会SMT专委会、上海市电子学会SMT专委会、安徽省软件协会SMT专委会、山东省电子制造技术专委会、南京市电子学会SMT专委会、清华大学伟创力SMT实验室、SMTA China、励展博览集团、英国环球SMT与封装、EM Asia、电子工艺技术杂志社、广东技术师范学院工业实训中心等十四家单位联合举办，四川省电子学会SMT专委会承办的...