Anurag Ajay, Seungwook Han, et al.
NeurIPS 2023
Algorithms are presented which modify logical networks of bounded fan-in to obtain functionally equivalent networks of bounded fan-m and fan-out, so that both size and depth are not increased by more than constant factors. © 1984, ACM. All rights reserved.
Anurag Ajay, Seungwook Han, et al.
NeurIPS 2023
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Joseph Y. Halpern
aaai 1996
Arnold L. Rosenberg
Journal of the ACM