- 专利标题: STOCHASTIC LOCAL SEARCH ACCELERATOR BASED ON CAMS FOR SOLVING CONSTRAINT SATISFACTION PROBLEMS
-
申请号: US17841542申请日: 2022-06-15
-
公开(公告)号: US20230410903A1公开(公告)日: 2023-12-21
- 发明人: GIACOMO PEDRETTI , TOBIAS FREDERIC ZIEGLER , THOMAS VAN VAERENBERGH , CATHERINE GRAVES
- 申请人: HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP
- 申请人地址: US TX Houston
- 专利权人: HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP
- 当前专利权人: HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP
- 当前专利权人地址: US TX Houston
- 主分类号: G11C15/04
- IPC分类号: G11C15/04 ; H03K19/20
摘要:
The disclosure generally provides for a method of solving a K-SAT problem. The method comprises programming one or more clauses of a Boolean expression for a K-SAT problem written in negated disjunctive normal form (DNF) to a ternary-CAM (TCAM) array comprising columns and rows of TCAM cells. The method further includes applying an interpretation comprising one or more binary variables expected to solve the Boolean expression as an input along the columns to the TCAM array, returning a binary value for each clause, randomly selecting one matched match line, determining a selected clause from one or more violated clause, and altering one or more literals within the interpretation using a break count for each variable of the selected clause.
公开/授权文献
信息查询