US Patent Issued to Hewlett Packard Enterprise Development on April 15 for "Compact K-SAT verification with TCAMs" (American, Belgian, Italian Inventors)

ALEXANDRIA, Va., June 5 -- United States Patent no. 12,277,971, issued on April 15, was assigned to Hewlett Packard Enterprise Development LP (Spring, Texas).

"Compact K-SAT verification with TCAMs" was invented by Giacomo Pedretti (Verbania, Italy), Tobias Frederic Ziegler (Spring, Texas), Thomas Van Vaerenbergh (Diegem, Belgium) and Catherine Graves (Milpitas, Calif.).

According to the abstract* released by the U.S. Patent & Trademark Office: "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, appl...