X. Si
发表
M. Naik,
S. Kulkarni,
R. Zhang,
2018
.
A. Gurfinkel,
X. Si,
Chuqin Geng,
2022,
2210.16114.
X. Si,
Haolin Ye,
Chuqin Geng,
2022,
2211.08486.
X. Si,
Zhaoyu Li,
2022,
NeurIPS.
X. Si,
B. Pientka,
Yingjie Xu,
2023,
SIGCSE.
M. Naik,
X. Si,
Jian-Hui Huang,
2021,
NeurIPS.
X. Si,
B. Pientka,
Chuqin Geng,
2023,
ArXiv.
Mukund Raghothaman,
Mayur Naik,
Xujie Si,
2019,
IJCAI.
Nham Le,
Arie Gurfinkel,
Xujie Si,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).
Aws Albarghouthi,
Mayur Naik,
Xujie Si,
2018,
ESEC/SIGSOFT FSE.
Xin Zhang,
Mayur Naik,
Xujie Si,
2017,
MAPL@PLDI.
X. Si,
Haolin Ye,
Chuqin Geng,
2022,
ArXiv.
Le Song,
Mayur Naik,
Xujie Si,
2018,
ICLR.
Xujie Si,
Brigitte Pientka,
Alana Ceci,
2021,
SIGCSE.
Le Song,
Mayur Naik,
Xujie Si,
2020,
CAV.
Le Song,
Mukund Raghothaman,
Mayur Naik,
2018,
NeurIPS.
David Rolnick,
Xujie Si,
Sever Topan,
2021,
NeurIPS.
Xin Zhang,
Radu Grigore,
Mayur Naik,
2017,
CAV.
X. Si,
Ziyan Luo,
2023,
ArXiv.
Xin Zhang,
Mikolás Janota,
Vasco M. Manquinho,
2016,
CP.
Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving
pdf
Yujia Li,
Xujie Si,
Vinod Nair,
2019,
ArXiv.