Patent ID: 11923009
Assignee: HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP
Field: Computer technology (Electrical engineering)
Classification: CPC G  H | IPC G  H

Claim 0:
1. A method comprising:
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, wherein each clause of the Boolean expression is programmed to a respective row of the TCAM array, and wherein each occurring variable of each clause is mapped to a respective TCAM cell of the row, and wherein each non-occurring variable is programmed as a don't care value;
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; and
updating one or more variables within the interpretation if at least one clause is violated.