US Patent Issued to Hewlett Packard Enterprise Development on Dec. 9 for "Analog content addressable memory satisfiability solver accelerator" (Belgian, American, German Inventors)

ALEXANDRIA, Va., Dec. 9 -- United States Patent no. 12,494,261, issued on Dec. 9, was assigned to Hewlett Packard Enterprise Development LP (Spring, Texas).

"Analog content addressable memory satisfiability solver accelerator" was invented by Giacomo Pedretti (San Francisco), Fabian Bohm (Boeblingen, Germany), Thomas Van Vaerenbergh (Diegem, Belgium) and Masoud Mohseni (Santa Barbara, Calif.).

According to the abstract* released by the U.S. Patent & Trademark Office: "A satisfiability modulo theories (SMT) solver accelerator is implemented with analog content addressable memory (CAM) cells. A job-shop scheduling problem (JSSP) may be mapped to expression clauses that are stored in an analog CAM array. A test cycle may be performed by sear...