Author:
Sheng Ying,Nötzli Andres,Reynolds Andrew,Zohar Yoni,Dill David,Grieskamp Wolfgang,Park Junkil,Qadeer Shaz,Barrett Clark,Tinelli Cesare
Funder
NSF
Meta Novi
Stanford Center for Blockchain Research
BSF
ISF
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference28 articles.
1. Alberti, F., Ghilardi, S., Pagani, E.: Cardinality constraints for arrays (decidability results and applications). Formal Methods Syst. Des. 51(3), 545–574 (2017)
2. Barbosa, H., Barrett, C. W., Brain, M., Kremer, G., Lachnitt, H., Mann, M., Mohamed, A., Mohamed, M., Niemetz, A., Nötzli, A., Ozdemir, A., Preiner, M., Reynolds, A., Sheng, Y., Tinelli, C., Zohar, Y.: cvc5: a versatile and industrial-strength SMT solver. In: TACAS (1), Volume 13243 of Lecture Notes in Computer Science, pp. 415–442. Springer, New York (2022)
3. Barrett, C.W., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Model Checking, pp. 305–343. Springer, New York (2018)
4. Barrett, C., Nieuwenhuis, R., Oliveras, A., Tinelli, C.: Splitting on demand in SAT modulo theories. In: Hermann, M., Voronkov, A. (eds.) Proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR’06), Phnom Penh, Cambodia, volume 4246 of Lecture Notes in Computer Science, pp. 512–526. Springer, New York (2006)
5. Barrett, C.W., Shikanian, I., Tinelli, C.: An abstract decision procedure for a theory of inductive data types. J. Satisf. Boolean Model. Comput. 3(1–2), 21–46 (2007)