Wenxi Wang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICLR | NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks. | Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen |
| 2023 | SAT | CadiBack: Extracting Backbones with CaDiCaL. | Armin Biere, Nils Froleyks, Wenxi Wang |
| 2022 | ICSE | Repairing Order-Dependent Flaky Tests via Test Generation. | Chengpeng Li, Chenguang Zhu, Wenxi Wang, August Shi |
| 2020 | PLDI | A study of the learnability of relational properties: model counting meets machine learning (MCML). | Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid |
| 2020 | TACAS | A Study of Symmetry Breaking Predicates and Model Counting. | Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid |
| 2019 | ICST | Learning to Optimize the Alloy Analyzer. | Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid |
| 2019 | TACAS | Incremental Analysis of Evolving Alloy Models. | Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid |
| 2016 | CPAIOR | A Bit-Vector Solver with Word-Level Propagation. | Wenxi Wang, Harald Sndergaard, Peter J. Stuckey |