Cited By
View all- Lai YXu ZYin M(2025)PBCounter: weighted model counting on pseudo-boolean formulasFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-024-3631-119:3Online publication date: 1-Mar-2025
- Ge CWooldridge MDy JNatarajan S(2024)Approximate integer solution counts over linear arithmetic constraintsProceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence and Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence and Fourteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v38i8.28640(8022-8029)Online publication date: 20-Feb-2024
- Pitchanathan AGrover KGrosser T(2024)Falcon: A Scalable Analytical Cache ModelProceedings of the ACM on Programming Languages10.1145/36564528:PLDI(1854-1878)Online publication date: 20-Jun-2024
- Show More Cited By