退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN104123503B
专利类型发明专利
公开/公告日2017-02-15
原文格式PDF
申请/专利权人 中国人民解放军国防科学技术大学;
申请/专利号CN201410292502.6
发明设计人 秦莹;吴庆波;戴华东;孔金珠;杨沙洲;沈胜宇;谭郁松;
申请日2014-06-25
分类号
代理机构湖南兆弘专利事务所(普通合伙);
代理人赵洪
地址 410073 湖南省长沙市砚瓦池正街47号中国人民解放军国防科学技术大学计算机学院
入库时间 2022-08-23 09:51:57
法律状态公告日
法律状态信息
法律状态
2017-02-15
授权
2014-12-03
实质审查的生效 IPC(主分类):G06F 21/60 申请日:20140625
实质审查的生效
2014-10-29
公开
机译: 逻辑公式转换程序,SAT解算器程序和SAT难度评估程序
机译: 将CNF简化技术应用于基于SAT的抽象细化
机译:针对云计算中资源受限的移动设备的外包数据的高效,安全的隐私保护方法
机译:难得的SAT公式容易识别吗?大子句-变量比下K-SAT消息传递算法的效率
机译:2SAT和3SAT公式的计数模型
机译:用于计算平面2-CNF公式的#2SAT的线性时间算法
机译:用DNA计算机解决n变量3 CNF SAT问题
机译:[...公式...]:基于遗忘相似性的搜索,外包给不受信任域的加密数据
机译:线性和混合Horn CNF公式的SAT,XSAT和NAE-SAT的计算复杂度
机译:在W型外包装的热端焊接过程中的过程中焊接取样