龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：慧与发展有限责任合伙企业
摘要：本公开的实施例涉及利用TCAMS的紧凑型K‑SAT验证。本公开一般提供了一种求解K‑SAT问题的方法。该方法包括将以否定析取范式DNF编写的K‑SAT问题的布尔表达式的一个或多个子句编程到包括TCAM单元的列和行的三元‑CAMTCAM阵列，将包括预期用于求解布尔表达式的一个或多个二元变量的解释作为输入沿列应用到TCAM阵列，返回针对每个子句的二元值，以及如果违反至少一个子句，则更新解释内的一个或多个变量。
主权项：1.一种方法，包括：将以否定析取范式DNF编写的K-SAT问题的布尔表达式的一个或多个子句编程到三元-CAMTCAM阵列，所述TCAM阵列包括TCAM单元的列和行，其中所述布尔表达式的每个子句被编程到所述TCAM阵列的相应行，并且其中每个子句的每个发生的变量被映射到所述行的相应的TCAM单元，并且其中每个非发生的变量被编程为不在意值；将解释作为输入沿所述列应用到所述TCAM阵列，所述解释包括预期用于求解所述布尔表达式的一个或多个二元变量；返回针对每个子句的二元值；以及如果至少一个子句被违反，则更新所述解释内的一个或多个变量。
全文数据：
权利要求：
百度查询： 慧与发展有限责任合伙企业 利用TCAM的紧凑型K-SAT验证
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号