Publisher
Springer Nature Switzerland
Reference34 articles.
1. Lecture Notes in Computer Science;H Barbosa,2022
2. Barrett, C., Fontaine, P., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB) (2016). https://www.SMT-LIB.org
3. Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, 2nd edn., vol. 336, pp. 1267–1329. IOS Press (2021)
4. Bayless, S., Bayless, N., Hoos, H.H., Hu, A.J.: SAT modulo monotonic theories. In: AAAI, pp. 3702–3709. AAAI Press (2015)
5. Berzish, M., Ganesh, V., Zheng, Y.: Z3str3: a string solver with theory-aware heuristics. In: FMCAD, pp. 55–59. IEEE (2017)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP;Lecture Notes in Computer Science;2024-09-10
2. Satisfiability.jl: Satisfiability Modulo Theories in
Julia;Journal of Open Source Software;2024-08-20
3. CaDiCaL 2.0;Lecture Notes in Computer Science;2024
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. Non-Classical Logics in Satisfiability Modulo Theories;Lecture Notes in Computer Science;2023