Sign in
Chunxiao Li
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 8
Top Topics
Community Structure
Boolean Formula
Prime Implicates
Sat Solvers
Top Venues
SAT
CoRR
Electron. Colloquium Comput. Complex.
</>
Publications
</>
Noah Fleming
,
Vijay Ganesh
,
Antonina Kolokolova
,
Chunxiao Li
,
Marc Vinyals
Limits of CDCL Learning via Merge Resolution.
Electron. Colloquium Comput. Complex.
(2023)
Marc Vinyals
,
Chunxiao Li
,
Noah Fleming
,
Antonina Kolokolova
,
Vijay Ganesh
Limits of CDCL Learning via Merge Resolution.
SAT
(2023)
Albert Oliveras
,
Chunxiao Li
,
Darryl Wu
,
Jonathan Chung
,
Vijay Ganesh
Learning Shorter Redundant Clauses in SDCL Using MaxSAT.
SAT
(2023)
Chunxiao Li
,
Jonathan Chung
,
Soham Mukherjee
,
Marc Vinyals
,
Noah Fleming
,
Antonina Kolokolova
,
Alice Mu
,
Vijay Ganesh
On the Hierarchical Community Structure of Practical Boolean Formulas.
SAT
(2021)
Chunxiao Li
,
Jonathan Chung
,
Soham Mukherjee
,
Marc Vinyals
,
Noah Fleming
,
Antonina Kolokolova
,
Alice Mu
,
Vijay Ganesh
On the Hierarchical Community Structure of Practical SAT Formulas.
CoRR
(2021)
Chunxiao Li
,
Noah Fleming
,
Marc Vinyals
,
Toniann Pitassi
,
Vijay Ganesh
Towards a Complexity-theoretic Understanding of Restarts in SAT solvers.
CoRR
(2020)
Chunxiao Li
,
Noah Fleming
,
Marc Vinyals
,
Toniann Pitassi
,
Vijay Ganesh
Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers.
SAT
(2020)
Jia Hui Liang
,
Chanseok Oh
,
Minu Mathew
,
Ciza Thomas
,
Chunxiao Li
,
Vijay Ganesh
Machine Learning-Based Restart Policy for CDCL SAT Solvers.
SAT
(2018)