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

Claim 12:
13. A non-transitory computer readable storage medium storing instructions that, when executed by a processor, cause the processor to:
program one or more clauses of a Boolean expression for a K-SAT problem written in negated disjunctive normal form (DNF) to a TCAM array comprising columns and rows of TCAM cells, wherein each clause of the Boolean expression is programmed to a respective cell of the row of the TCAM array, and wherein each occurring variable of each clause is mapped to a respective cell of a row, and wherein each non-occurring variable is programmed as a don't care value;
apply an interpretation, comprising one or more binary variables expected to solve the Boolean expression, as input along the columns to the TCAM array;
return a binary value for each clause; and
update one or more variables within the interpretation if at least one clause is violated.