US Patent Issued to Hewlett Packard Enterprise Development on May 20 for "Enhanced k-SAT solver using analog content addressable memory" (Belgian, American, Italian Inventors)

ALEXANDRIA, Va., June 16 -- United States Patent no. 12,307,124, issued on May 20, was assigned to Hewlett Packard Enterprise Development LP (Spring, Texas).

"Enhanced k-SAT solver using analog content addressable memory" was invented by Giacomo Pedretti (Verbania, Italy), John Paul Strachan (San Carlos, Calif.), Thomas Maurits M. Van Vaerenbergh (Flemish Brabant, Belgium) and Catherine E. Graves (Milpitas, Calif.).

According to the abstract* released by the U.S. Patent & Trademark Office: "A system for facilitating an enhanced k-SAT solver is provided. The system can include a set of analog content addressable memory (aCAM) modules that can represent an expression in a conjunctive normal form (CNF), wherein a respective aCAM module corre...