Author:
Bjørner Nikolaj,Nachmanson Lev
Publisher
Springer International Publishing
Reference21 articles.
1. Barrett, C., Fontaine, P., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB) (2016). www.SMT-LIB.org
2. Berzish, M., Ganesh, V., Zheng, Y.: Z3str3: a string solver with theory-aware heuristics. In: Daryl Stewart and Georg Weissenbacher, editors, 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, 2–6 October 2017, pp. 55–59. IEEE (2017). ISBN 978-0-9835678-7-5. https://doi.org/10.23919/FMCAD.2017.8102241
3. Lecture Notes in Computer Science;N Bjørner,2011
4. Bjørner, N., Nachmanson, L.: Theorem recycling for theorem proving. In: Kovács, L., Voronkov, A. (eds.) Vampire 2017. Proceedings of the 4th Vampire Workshop, EPiC Series in Computing, vol. 53, pp. 1–8. EasyChair (2018). https://doi.org/10.29007/r58f. https://easychair.org/publications/paper/qGfG
5. Lecture Notes in Computer Science;N Bjørner,2019
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献