Author:
Felli Paolo,Gianola Alessandro,Montali Marco,Rivkin Andrey,Winkler Sarah
Publisher
Springer International Publishing
Reference29 articles.
1. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB Standard: Version 2.6. Technical report. http://smtlib.cs.uiowa.edu/language.shtml (2018)
2. Barrett, C., Tinelli, C.: Satisfiability modulo theories. In: Clarke, E., Henzinger, T., Veith, H., Bloem, R. (eds.) Handbook of Model Checking, pp. 305–343. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-10575-8_11
3. Lecture Notes in Business Information Processing;M Boltenhagen,2019
4. Lecture Notes in Computer Science;M Boltenhagen,2019
5. Boltenhagen, M., Chatain, T., Carmona, J.: Optimized SAT encoding of conformance checking artefacts. Computing 103, 29–50 (2021)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献