US Patent Issued to UNIVERSITY OF DAYTON on Dec. 30 for "Satisfiability problem solver implemented on spiking neural network embedded systems" (Ohio Inventors)

ALEXANDRIA, Va., Dec. 31 -- United States Patent no. 12,511,522, issued on Dec. 30, was assigned to UNIVERSITY OF DAYTON (Dayton, Ohio).

"Satisfiability problem solver implemented on spiking neural network embedded systems" was invented by Chris Yakopcic (Dayton, Ohio) and Tarek M. Taha (Centerville, Ohio).

According to the abstract* released by the U.S. Patent & Trademark Office: "A spiking neural network (SNN) system is disclosed having spiking neurons associated with clause values associated with a satisfiability (SAT) problem. Each spiking neuron generates a voltage spike when on input voltage applied to each spiking neuron is increased above a spiking voltage threshold. The input voltage that is increased above the spiking voltage th...