no code implementations • 23 Feb 2021 • Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang
By taking experiments on a set of cases, we show that LOGION effectively exploits the structural similarity of BCs.
no code implementations • 7 Jun 2019 • Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei
The state-of-the-art approaches generate all primes along with a prime cover constructed by prime implicates using dual rail encoding.