公开/公告号CN111967127A
专利类型发明专利
公开/公告日2020-11-20
原文格式PDF
申请/专利权人 航天东方红卫星有限公司;
申请/专利号CN202010623111.3
申请日2020-06-30
分类号G06F30/20(20200101);G06F119/02(20200101);
代理机构11009 中国航天科技专利中心;
代理人刘秀祥
地址 100094 北京市海淀区北京5616信箱
入库时间 2023-06-19 08:58:14
机译: 可满足性问题的计算方法,可满足性问题计算系统和程序
机译: 可满足性问题计算方法,可满足性问题计算系统和程序
机译: 支持可靠性问题分析和管理的人员可靠性评估工具