Old Web
English
Sign In
Acemap
>
authorDetail
>
Chunxiao Li
Chunxiao Li
University of Waterloo
Computer science
Exploit
Solver
Theoretical computer science
Overhead (computing)
4
Papers
14
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
On the Hierarchical Community Structure of Practical Boolean Formulas
2021
SAT | Theory and Applications of Satisfiability Testing
Chunxiao Li
Jonathan Chung
Soham Mukherjee
Marc Vinyals
Noah Fleming
Antonina Kolokolova
Alice Mu
Vijay Ganesh
Show All
Source
Cite
Save
Citations (0)
Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers
2020
SAT | Theory and Applications of Satisfiability Testing
Chunxiao Li
Noah Fleming
Marc Vinyals
Toniann Pitassi
Vijay Ganesh
Show All
Source
Cite
Save
Citations (1)
Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers
2020
SAT | Theory and Applications of Satisfiability Testing
Chunxiao Li
Noah Fleming
Marc Vinyals
Toniann Pitassi
Vijay Ganesh
Show All
Source
Cite
Save
Citations (0)
Machine Learning-Based Restart Policy for CDCL SAT Solvers
2018
SAT | Theory and Applications of Satisfiability Testing
Jia Hui Liang
Chanseok Oh
Minu Mathew
Ciza Thomas
Chunxiao Li
Vijay Ganesh
Show All
Source
Cite
Save
Citations (13)
1