Jiong Yang

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 11

Top Topics

Boolean Satisfiability

Causal Reasoning

Top Venues

Publications

Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
Formally Certified Approximate Model Counting. CoRR (2024)
Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
Formally Certified Approximate Model Counting. CAV (1) (2024)
Jiong Yang, Yaroslav A. Kharkov, Yunong Shi, Marijn J. H. Heule, Bruno Dutertre
Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving. SAT (2024)
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
Explaining SAT Solving Using Causal Reasoning. SAT (2023)
Jiong Yang, Kuldeep S. Meel
Rounding Meets Approximate Model Counting. CoRR (2023)
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
Explaining SAT Solving Using Causal Reasoning. CoRR (2023)
Jiong Yang, Kuldeep S. Meel
Rounding Meets Approximate Model Counting. CAV (2) (2023)
Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
Projected Model Counting: Beyond Independent Support. ATVA (2022)
Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
Projected Model Counting: Beyond Independent Support. CoRR (2021)
Jiong Yang, Kuldeep S. Meel
Engineering an Efficient PB-XOR Solver. CP (2021)
Haoyu Dong, Jiong Yang, Shi Han, Dongmei Zhang
Learning Formatting Style Transfer and Structure Extraction for Spreadsheet Tables with a Hybrid Neural Network Architecture. CIKM (2020)