Jiong Yang

According to our database, Jiong Yang authored at least 8 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Approximate Model Counting.

Yong Kiam Tan, Jiong Yang

Arch. Formal Proofs, 2024

Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving.

Jiong Yang, Yaroslav A. Kharkov, Yunong Shi, Marijn J. H. Heule, Bruno Dutertre

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

Formally Certified Approximate Model Counting.

Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Explaining SAT Solving Using Causal Reasoning.

Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

Rounding Meets Approximate Model Counting.

Jiong Yang, Kuldeep S. Meel

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Projected Model Counting: Beyond Independent Support.

Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Engineering an Efficient PB-XOR Solver.

Jiong Yang, Kuldeep S. Meel

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

Learning Formatting Style Transfer and Structure Extraction for Spreadsheet Tables with a Hybrid Neural Network Architecture.

Haoyu Dong, Jiong Yang, Shi Han, Dongmei Zhang

Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020