Engineering an efficient PB-XOR solver J Yang, KS Meel 27th International Conference on Principles and Practice of Constraint …, 2021 | 9 | 2021 |
Rounding meets approximate model counting J Yang, KS Meel International Conference on Computer Aided Verification, 132-162, 2023 | 4 | 2023 |
Projected model counting: Beyond independent support J Yang, S Chakraborty, KS Meel International Symposium on Automated Technology for Verification and …, 2022 | 4 | 2022 |
Learning formatting style transfer and structure extraction for spreadsheet tables with a hybrid neural network architecture H Dong, J Yang, S Han, D Zhang Proceedings of the 29th ACM International Conference on Information …, 2020 | 3 | 2020 |
Explaining SAT Solving Using Causal Reasoning J Yang, A Shaw, T Baluta, M Soos, KS Meel arXiv preprint arXiv:2306.06294, 2023 | | 2023 |