专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载VIP
公布日期
2023-10-24 公布专利
2023-10-20 公布专利
2023-10-17 公布专利
2023-10-13 公布专利
2023-10-10 公布专利
2023-10-03 公布专利
2023-09-29 公布专利
2023-09-26 公布专利
2023-09-22 公布专利
2023-09-19 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果56个,建议您升级VIP下载更多相关专利
  • [发明专利]解探索设备及程序-CN201880047525.7有效
  • 竹内尚辉;青野真士 - 国立大学法人横浜国立大学
  • 2018-07-19 - 2023-06-16 - G06N20/00
  • 解探索设备包括:变量值计算电路,变量值计算电路针对布尔可满足性问题(SAT)的实例的合取范式的逻辑表达式中所包括的每个变量进行设置并计算变量的值;以及通知路径,将变量值计算电路计算出的变量的值通知给另一个变量值计算电路,变量值计算电路中的每个包括:肯定侧变量值计算电路,在将另一个变量值计算电路计算出的另一个变量的值输入到逻辑表达式的情况下计算目标变量的值,目标变量是其值由变量值计算电路计算的变量,肯定侧变量值计算电路计算出的值使得逻辑表达式的子句中的所有包括不具有否定的目标变量的子句为真;否定侧变量值计算电路,在将另一个变量值计算电路计算出的另一个变量的值输入到逻辑表达式的情况下计算目标变量的值,否定侧变量值计算电路计算出的值使得逻辑表达式的子句中的所有包括具有否定的目标变量的子句为真;以及当前值计算电路,基于由肯定侧变量值计算电路计算出的目标变量的值、由否定侧变量值计算电路计算出的目标变量的值以及目标变量的前一值计算目标变量的值。
  • 探索设备程序

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top