Showing 1 - 3 results of 3 for search 'Luan Luan', query time: 0.02s
Refine Results
-
1
-
2
Application of Discrete Pruned Enumeration in Solving BDD by Luan Luan, Yanan Shi, Chunxiang Gu, Yonghui Zheng
Published 2023-01-01
Article -
3
Lattice Enumeration with Discrete Pruning: Improvements, Cost Estimation and Optimal Parameters by Luan Luan, Chunxiang Gu, Yonghui Zheng, Yanan Shi
Published 2023-02-01
Article