ALEXANDRIA, Va., Feb. 17 -- United States Patent no. 12,554,538, issued on Feb. 17, was assigned to SAMSUNG ELECTRONICS Co. LTD. (Suwon-si, South Korea).
"Static memory allocation using SAT solver" was invented by Ayelet Hen (Tel-Aviv, Israel), Eilon Regev (Tel-Aviv, Israel), Or Davidi (Tel-Aviv, Israel), Yotam Avraham Platner (Tel-Aviv, Israel) and Tal Heller (Tel-Aviv, Israel).
According to the abstract* released by the U.S. Patent & Trademark Office: "A method of statically allocating memory for a computer program includes splitting a computational graph associated with a plurality of static memory allocation constraints into a plurality of subgraphs; determining a memory allocation for each combination of subgraphs of the plurality of...