Cheng, Xi; Zhou, Min; Song, Xiaoyu; Gu, Ming; Sun, Jiaguang Parallelizing SMT solving: lazy decomposition and conciliation. (English) Zbl 1444.68169 Artif. Intell. 257, 127-157 (2018). MSC: 68T20 68W10 PDFBibTeX XMLCite \textit{X. Cheng} et al., Artif. Intell. 257, 127--157 (2018; Zbl 1444.68169) Full Text: DOI
Chihani, Zakaria; Marre, Bruno; Bobot, François; Bardin, Sébastien Sharpening constraint programming approaches for bit-vector theory. (English) Zbl 1489.68249 Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10335, 3-20 (2017). MSC: 68T20 68Q60 68V15 PDFBibTeX XMLCite \textit{Z. Chihani} et al., Lect. Notes Comput. Sci. 10335, 3--20 (2017; Zbl 1489.68249) Full Text: DOI Link
Saarikivi, Olli; Heljanko, Keijo LCTD: test-guided proofs for C programs on LLVM. (English) Zbl 1392.68149 J. Log. Algebr. Methods Program. 85, No. 6, 1292-1317 (2016). MSC: 68N30 PDFBibTeX XMLCite \textit{O. Saarikivi} and \textit{K. Heljanko}, J. Log. Algebr. Methods Program. 85, No. 6, 1292--1317 (2016; Zbl 1392.68149) Full Text: DOI
Groce, Alex; Havelund, Klaus; Holzmann, Gerard; Joshi, Rajeev; Xu, Ru-Gang Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning. (English) Zbl 1298.68063 Ann. Math. Artif. Intell. 70, No. 4, 315-349 (2014). MSC: 68N30 76-04 PDFBibTeX XMLCite \textit{A. Groce} et al., Ann. Math. Artif. Intell. 70, No. 4, 315--349 (2014; Zbl 1298.68063) Full Text: DOI