Author:
Berzish Murphy,Ganesh Vijay,Zheng Yunhui
Cited by
69 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories;Proceedings of the ACM on Programming Languages;2024-06-20
2. A Constraint Solving Approach to Parikh Images of Regular Languages;Proceedings of the ACM on Programming Languages;2024-04-29
3. String Constraints with Regex-Counting and String-Length Solved More Efficiently;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15
4. Speeding up SMT Solving via Compiler Optimization;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
5. Solving String Constraints with Lengths by Stabilization;Proceedings of the ACM on Programming Languages;2023-10-16