Mr Chenhao Zhang

chenhao.zhang@uq.edu.au

Publications

Conference Paper

Zhang, Chenhao, Zhang, Yanjun, Mao, Jeff, Chen, Weitong, Yue, Lin, Bai, Guangdong and Xu, Miao (2022). Towards better generalization for neural network-based SAT solvers. 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, 16-19 May 2022. CHAM: Springer Science and Business Media Deutschland GmbH. doi: 10.1007/978-3-031-05936-0_16