公开/公告号CN113392580A
专利类型发明专利
公开/公告日2021-09-14
原文格式PDF
申请/专利权人 中国人民解放军战略支援部队信息工程大学;
申请/专利号CN202110554574.3
申请日2021-05-21
分类号G06F30/27(20200101);G06N10/00(20190101);G06F111/04(20200101);G06F111/08(20200101);
代理机构41111 郑州大通专利商标代理有限公司;
代理人周艳巧
地址 450000 河南省郑州市高新区科学大道62号
入库时间 2023-06-19 12:35:33
法律状态公告日
法律状态信息
法律状态
2023-07-28
授权
发明专利权授予
机译: 基于约束的求解方法,基于约束的求解器和基于约束的求解系统
机译: 基于约束的求解方法,基于约束的求解器和基于约束的求解系统
机译: 基于可满足模差逻辑求解器确定集成电路混合制造过程计划的系统和方法