Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
For any fixed dimension d, thelinear programming problem with ninequality constraints can be solved on a probabilistic CRCW PRAM withO1994processors almost surely in constant time. The algorithm always findsthe correct solution. Withnd/log2dprocessors, the probability that the algorithm will not finish withinO(d2log2dtime tends to zero exponentially withn. © 1994, ACM. All rights reserved.
Barry K. Rosen
SWAT 1972
Chen-chia Chang, Wan-hsuan Lin, et al.
ICML 2025
Gaku Yamamoto, Hideki Tai, et al.
AAMAS 2008
Amarachi Blessing Mbakwe, Joy Wu, et al.
NeurIPS 2023