On the Hierarchical Community Structure of Practical Boolean Formulas. - Chunxiao Li 002; Jonathan Chung 003; Soham Mukherjee; Marc Vinyals; Noah Fleming; Antonina Kolokolova; Alice Mu; Vijay Ganesh 001 (SAT, 2021)

On the Hierarchical Community Structure of Practical SAT Formulas. - Chunxiao Li 002; Jonathan Chung 003; Soham Mukherjee; Marc Vinyals; Noah Fleming; Antonina Kolokolova; Alice Mu; Vijay Ganesh 001 (CoRR, 2021)

Learning Shorter Redundant Clauses in SDCL Using MaxSAT. - Albert Oliveras; Chunxiao Li 002; Darryl Wu; Jonathan Chung 003; Vijay Ganesh 001 (SAT, 2023)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers. - Chunxiao Li 002; Charlie Liu; Jonathan Chung 003; Zhengyang Lu 002; Piyush Jha; Vijay Ganesh 001 (CoRR, 2024)

Extended Resolution Clause Learning via Dual Implication Points. - Sam Buss; Jonathan Chung 003; Vijay Ganesh 001; Albert Oliveras (CoRR, 2024)