Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Luo, Wanqian"'
Autor:
Li, Yang, Chen, Xinyan, Guo, Wenxuan, Li, Xijun, Luo, Wanqian, Huang, Junhua, Zhen, Hui-Ling, Yuan, Mingxuan, Yan, Junchi
Industrial SAT formula generation is a critical yet challenging task. Existing SAT generation approaches can hardly simultaneously capture the global structural properties and maintain plausible computational hardness. We first present an in-depth an
Externí odkaz:
http://arxiv.org/abs/2302.02104
Autor:
Guo, Wenxuan, Zhen, Hui-Ling, Li, Xijun, Luo, Wanqian, Yuan, Mingxuan, Jin, Yaohui, Yan, Junchi
Publikováno v:
Machine Intelligence Research; 20230101, Issue: Preprints p1-16, 16p
Autor:
Luo, Wanqian, Wu, Xiaoxuan
Publikováno v:
Astrophysics and Space Science; April 1993, Vol. 202 Issue: 1 p113-120, 8p