Xu, Zhenxing

2 publications

IJCAI 2022 Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract) Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He

AAAI 2020 Federated Patient Hashing Jie Xu, Zhenxing Xu, Peter B. Walker, Fei Wang