Ohad Shamir, Sivan Sabato, et al.
Theoretical Computer Science
A simple algorithm which uses an indexed temporary table to perform reduction of operator strength in strongly connected regions is presented. Several extensions, including linear function test replacement, are discussed. These algorithms should fit well into an integrated package of local optimization algorithms. © 1977, ACM. All rights reserved.
Ohad Shamir, Sivan Sabato, et al.
Theoretical Computer Science
Gabriele Dominici, Pietro Barbiero, et al.
ICLR 2025
Minkyong Kim, Zhen Liu, et al.
INFOCOM 2008
Yvonne Anne Pignolet, Stefan Schmid, et al.
Discrete Mathematics and Theoretical Computer Science