Author:
Preiner Mathias,Niemetz Aina,Biere Armin
Publisher
Springer Berlin Heidelberg
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification;Proceedings of the ACM on Programming Languages;2024-01-05
2. 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
3. Demystifying Template-Based Invariant Generation for Bit-Vector Programs;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
4. Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs;Proceedings of the ACM on Programming Languages;2023-04-06
5. Bitwuzla;Computer Aided Verification;2023