We stand with Ukraine  

Jiong Yang

Orcid: 0000-0002-8356-6637

Affiliations:
  • National University of Singapore, Singapore


According to our database1, Jiong Yang authored at least 5 papers between 2020 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Explaining SAT Solving Using Causal Reasoning.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Jiong Yang
,
Kuldeep S. Meel
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022
Projected Model Counting: Beyond Independent Support.
[BibTeX]
[DOI]
Jiong Yang
,
Supratik Chakraborty
,
Kuldeep S. Meel
Proceedings of the Automated Technology for Verification and Analysis, 2022

2021
Engineering an Efficient PB-XOR Solver.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Haoyu Dong
,
Jiong Yang
,
Shi Han
,
Dongmei Zhang
Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020


  Loading...