北京
国家知识产权局信息显示，杭州九之星软件有限公司申请一项名为“一种基于电路级SAT求解的SAT sweeping方法”的专利，公开号CN122197763A，申请日期为2026年5月。
专利摘要显示，本发明公开了一种基于电路级SAT求解的SAT sweeping方法，包括步骤：对电路进行预处理，生成候选等价节点对并为每个节点对构建验证输出；针对每个验证输出，采用cone‑based求解策略，提取扇入锥并利用电路结构执行SAT求解，根据求解结果，合并等价节点对并将验证输出固定为假或细化候选等价类；执行选择性重置，清除本次求解产生的临时状态，保留已固定的验证输出约束并在下一次求解前重新施加；重复上述过程直输出优化后的电路。该方法直接利用电路结构信息完成等价性查询，并结合多查询场景下的cone‑based求解与选择性重置策略，实现对SAT sweeping中大量小规模、重复SAT查询的高效处理。
天眼查资料显示，杭州九之星软件有限公司，成立于2024年，位于杭州市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本2704.6154万人民币。通过天眼查大数据分析，杭州九之星软件有限公司共对外投资了1家企业，财产线索方面有商标信息2条，专利信息9条。
声明：市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。
本文源自：市场资讯
作者：情报员
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
