GENEVA, Oct. 28 -- UNIVERSITY OF ROCHESTER (601 Elmwood Avenue, Box URVRochester, NY 14642) filed a patent application (PCT/US2025/024718) for "CMOS-COMPATIBLE SYSTEM AND METHOD FOR SOLVING BOOLEAN SATISFIABILITY PROBLEMS" on Apr 15, 2025. With publication no. WO/2025/221750, the details related to the patent application was published on Oct 23, 2025.
Notably, the patent application was submitted under the International Patent Classification (IPC) system, which is managed by the World Intellectual Property Organization (WIPO).
Inventor(s): IGNJATOVIC, Zeljko (c/o University of Rochester601 Elmwood Avenue, Box URVRochester, NY 14642), KOSE, Selcuk (c/o University of Rochester601 Elmwood Avenue, Box URVRochester, NY 14642), SALIM, Ahmet, Yu...