Chunxiao (Ian) Li

Publication Activity (10 Years)

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

Top Topics

Query Expansion

Top Venues

Publications

Marc Vinyals, Chunxiao (Ian) Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh
Limits of CDCL Learning via Merge Resolution. CoRR (2023)