Matthias Kaiserswerth
IEEE/ACM Transactions on Networking
Through a counterexample, Redinbo’s upper bound on the ratio of the probability of a group and that of its coset is shown to be incorrect. The given example is also shown to provide a new upper bound. © 1981 IEEE
Matthias Kaiserswerth
IEEE/ACM Transactions on Networking
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006
Nanda Kambhatla
ACL 2004