Yechuan Xia

Identifiers

• name variant Yechuan Xia 0.60 · backfill

Papers (1)

1. Understanding CDCL Solvers via Scalability Studies and Proofdoors cs.LO · 2026 · author #2

Mentions

• 2605.15506 #2 · arxiv_oai · confidence 0.70 Yechuan Xia

Frequent Coauthors

• Chunxiao Li 1 shared papers
• Jianwen Li 1 shared papers
• Moshe Y. Vardi 1 shared papers
• Shimin Zhang 1 shared papers
• Vijay Ganesh 1 shared papers