Jeff Mao

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Clause Learning Sat Solvers

Boolean Satisfiability

Top Venues

Publications

Chenhao Zhang, Yanjun Zhang, Jeff Mao, Weitong Chen, Lin Yue, Guangdong Bai, Miao Xu
Towards Better Generalization for Neural Network-Based SAT Solvers. PAKDD (2) (2022)