ML Anthology

Hu, Xiaoyi

1 publications

JAIR 2023 Generating Random SAT Instances: Multiple Solutions Could Be Predefined and Deeply Hidden Dongdong Zhao, Lei Liao, Wenjian Luo, Jianwen Xiang, Hao Jiang, Xiaoyi Hu