US Patent Issued to Hewlett Packard Enterprise Development on July 1 for "Compact k-XOR-SAT filtering with cams" (Belgian, American, Italian Inventors)

ALEXANDRIA, Va., July 3 -- United States Patent no. 12,347,490, issued on July 1, was assigned to Hewlett Packard Enterprise Development LP (Spring, Texas).

"Compact k-XOR-SAT filtering with cams" was invented by Giacomo Pedretti (Milan), Todd Richmond (Ft. Collins, Colo.) and Thomas Van Vaerenbergh (Flemish Brabant, Belgium).

According to the abstract* released by the U.S. Patent & Trademark Office: "Examples of the presently disclosed technology provide CAM-based circuits specially constructed to implement Boolean satisfiability problems involving k-XOR-SAT clauses. With the strategic addition of auxiliary counting and logic circuits that evaluate match line voltage outputs of a CAM at k discrete times in order to determine whether a co...